registrieren | anmelden | FAQ      [?] 

Tag metalogics [37 articles]

Recent papers classified by the tag metalogics.
  • A Reflective Framework for Formal Interoperability
    by Sri
    posted to category-of-theories cognitive-architectures interoperability logical-theories meta-level-architectures metalogics theory theory-development by Scis0000002 on 2007-07-05 13:46:39 as **
  • Graph-Based Logic and Sketches 1: The General Framework
    ArXiv Mathematics e-prints (October 1994)
    by A Bagchi, C Wells
    posted to category-theory graph-theory higher-dimensional-sketches institutions logics mathematical-structures metalogics metamathematical-frameworks presentation representation sketches sketch-theory specification toposes topos-theory visual by Scis0000002 on 2007-08-02 14:06:30 as **
  • System Description: Twelf --- A Meta-Logical Framework for Deductive Systems
    (1999), pp. 202-206.
    by Frank Pfenning, Carsten Schürmann
    edited by H Ganzinger
    posted to computational-logic formal-digital-libraries formal-digital-library general-logics interoperability metalogical-frameworks metalogics metaprogramming metascience theory-of-institutions twelf unified-concept-theory universal-logic by Scis0000002 on 2007-07-10 09:20:53 as **
  • Toposes in Logic and Logic in Toposes
    Topoi, Vol. 3, No. 1. (1 June 1984), pp. 13-22.
    by Marta Bunge
    posted to logics metalogics toposes topos-morphisms topos-theory by Scis0000002 on 2007-07-15 17:51:36 as **
  • Introduction to higher order categorical logic
    (1986)
    by J Lambek, PJ Scott
    posted to categorical-logic higher-order-categorical-logic metalogics by Scis0000002 on 2007-07-11 14:34:34 as ** along with 1 person kaqui
  • On Modeling, Mathematics, Category Theory and RM-ODP
    (2001), pp. 38-54.
    by Zinovy Diskin
    posted to categorification category-theory iff metalogics metamathematics modeling rm-odp by Scis0000002 on 2007-07-14 13:20:35 as **
  • Hilbert and the internal logic of mathematics
    Synthese, Vol. 101, No. 1. (1 October 1994), pp. 1-14.
    by Yvon Gauthier
    posted to constructivity metalogical-frameworks metalogics metamathematical-frameworks metamathematics topos-theory by Scis0000002 on 2008-04-27 15:42:25 as **
  • Different Types of Arrow Between Logical Frameworks
    (1996), pp. 158-169.
    by Till Mossakowski
    posted to institutions logical-frameworks metalogics sketches toposes by Scis0000002 on 2007-08-04 14:34:22 as **
  • Reflective metalogical frameworks
    ACM Trans. Comput. Logic, Vol. 5, No. 3. (July 2004), pp. 528-576.
    by David Basin, Manuel Clavel, Jos&\#233; Meseguer
    posted to cognitive-architectures computational-complexity-theory formal-interoperability formal-problem-solving goedel-machine hierarchy-of-machines inference metainference metainferencing metalanguage metalanguages metalogical-frameworks metalogics metamathematics metareasoning reflectivity self-reflectivity by Scis0000002 on 2007-07-10 09:29:14 as ** along with 3 people and 1 group dalev scis0000001 Benja NU-PRL
  • Semantics and Conceptual Change
    The Philosophical Review, Vol. 88, No. 3. (1979), pp. 327-365.
    by Jerrold J Katz
    posted to all-scientific-theories category-of-theories ensemble-theories formal-theories logical-theories metalogical-frameworks metalogics metamathematical-frameworks metascience metascientific-frameworks philosophy-of-science scientific-models scientific-theories theories by Scis0000002 on 2008-07-14 09:49:08 as **
  • On the meta-logic of arguments
    (2005), pp. 560-567.
    by Michael Wooldridge, Peter Mcburney, Simon Parsons
    posted to argumentation-theory argumenting arguments metalevels metalogics by Scis0000002 on 2008-07-12 15:19:23 as **
  • Hierarchical meta-logics: Intuitions, proof theory and semantics
    Meta-Programming in Logic (1992), pp. 235-249.
    by Fausto Giunchiglia, Luciano Serafini, Alex Simpson
    posted to hierarchies metalogical-frameworks metalogics by Scis0000002 on 2008-07-03 17:56:15 as **
  • Is the brain a Clifford algebra quantum computer?
    Vol. 4453 (November 2001), pp. 134-145.
    by VG Labunets, EV Rundblad-Labunets, JT Astola
    edited by MN Armenise
    posted to hyperalgebras hypercomplex-algebras metalogics by Scis0000002 on 2007-07-12 13:21:08 as **
  • Rewriting logic as a logical and semantic framework
    (1993)
    by Mart'i N Oliet, J Meseguer
    posted to logical-theories metalogics by Scis0000002 on 2007-07-05 13:43:18 as ** along with 1 person and 1 group xiemaisi AS-IIS_ReadingGroup
  • General logics and logical frameworks
    (1994), pp. 355-391.
    by Narciso Mart&\#237;-Oliet, Jos&\#233; Meseguer
    posted to computational-logic general-logics interoperability logical-frameworks maude metalogical-frameworks metalogics metaprogramming metascience theory-of-institutions unified-concept-theory universal-logic by Scis0000002 on 2007-07-06 14:06:18 as ** along with 1 person scis0000001
  • A common generalization for MV-algebras and LukasiewiczMoisil algebras
    Archive for Mathematical Logic, Vol. 45, No. 8. (November 2006), pp. 947-981.
    by Georgescu, George, Popescu, Andrei
    posted to heyting-algebra higher-dimensional-algebra hyperalgebras lukasiewicz-moisil-algebras metalogics mv-algebras by Scis0000002 on 2007-07-11 14:50:23 as **
  • A Topos Foundation for Theories of Physics: I. Formal Languages for Physics
    ArXiv Quantum Physics e-prints (March 2007)
    by A Doering, CJ Isham
    posted to cartesian-closed-categories categorical-logic computational-complexity-theory computational-logic conceptua conceptual-structures formal-interoperability formality formal-physics functional-programming general-logics goedel-machine hierarchy-of-complexity-classes higher-order-categorical-logic higher-topos-theory hyperdoctrines inquiry interoperability intuitionistic-logic lamda-calculus language-selection local-mathematics logical-structures logical-theories logic-selection metalogical-frameworks metalogics philosophy-of-science physical-models physical-theories relativity resource-allocation sketches toposes topos-morphisms topos-theory type-theory by Scis0000002 on 2007-07-07 14:51:07 as ** along with 5 people jrw proportional madhadron scis0000001 gpi
  • Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics
    by Fausto G Luciano
    posted to hierarchical metalogics by Scis0000002 on 2007-09-24 22:44:14 as **
  • An Infrastructure for Intertheory Reasoning
    (2000), pp. 115-131.
    by William M Farmer
    posted to category-of-theories institutions logical-theories metalogics parchments by Scis0000002 on 2007-07-05 14:12:08 as ** along with 1 person and 2 groups A_Olympia Philosophy_of_Information Blog_and_Wiki_Research
  • Mechanisms for combining logics
    (1999)
    by C Caleiro, C Sernadas, A Sernadas
    posted to combining general-logics institutions logics metalogics by Scis0000002 on 2007-08-19 16:31:57 as ** along with 1 person and 1 group dalev NU-PRL
  • Is “the theory of everything” merely the ultimate ensemble theory?
    (1 Dec 1998)
    by Max Tegmark
    posted to accessibility all-categorical-structures all-mathematical-structures all-possible-worlds complexity computability computability-theory constructivization control controlability decision-procedure exploitation exploiting exploration exploring extendability extraction formal-interoperability formalization-hypothesis formal-problem-solving formal-science formal-theories goedel-machine hierarchy-of-machines higher-dimensional-category-theory hypercomputability hypercomputing hyperefficiency intelligence-order-relations interconnectivity interoperability mathematical-structures metaevolution metalogical-frameworks metalogics metamathematical-frameworks metamathematics metaphilosophy metascience metaselection philosophy-of-science physical-structures power presentation quantum-computability regularities representation resource-allocation selection specification survivability topos-theory transformation by Scis0000002 on 2007-07-15 18:08:19 as ** along with 1 person scis0000001
  • Complex Non-linear Biodynamics in Categories, Higher Dimensional Algebra and Łukasiewicz–Moisil Topos: Transformations of Neuronal, Genetic and Neoplastic Networks
    Axiomathes, Vol. 16, No. 1. (15 March 2006), pp. 65-122.
    by I Baianu, R Brown, G Georgescu, J Glazebrook
    posted to category-of-quantum-automata dynamics epigenetics formal-biology groupoids hd higher-dimensional-algebra higher-dimensional-category-theory higher-dimensional-topos-theory hyperalgebras hypergroups hyperstructures lukasiewicz-moisil-algebras metalogics neurodynamics nonlinearity omegaalgebras omega-algebras omega-categories quantum-genetics relational-biology superalgebras supercategories topos-theory by Scis0000002 on 2007-07-11 14:59:22 as ** along with 2 people Constructivity CurAbility
  • Logically Possible Machines
    pp. 259-280.
    by E Steinhart
    posted to omega-hierarchies modeling metalogics logical-theories lattice-of-situations lattice-of-machines hyperefficiency hierarchy-of-toposes hierarchy-of-machines hierarchy-of-formal-languages hierarchy-of-decision-problems hierarchy-of-complexity-classes hierarchy-of-abstract-machines formal-theories formal-science finitary-stochastic-hierarchy executable-theories effective-topos computational-mechanics computability-theory computability-logic category-of-theories category-of-specifications category-of-contexts all-possible-worlds toes theory-development superstatistics quantum-computability philosophy-of-science omega-innovating by Scis0000002 on 2007-06-30 15:32:17 as **
  • From Consequence Operator to Universal Logic: A Survey of General Abstract Logic
    : Logica Universalis (2005), pp. 3-17.
    by Jean-Yves Beziau
    posted to institutions lgoics metalogics universal-logic by scis0000001 on 2007-03-11 16:28:12 as **
  • Unifying theories in different institutions
    (1996)
    by M Arrais, J Fiadeiro
    posted to institutions logical-theories logics metalogics unification by scis0000001 on 2007-02-16 08:47:26 as **
  • Goedel Machines: Self-Referential Universal Problem Solvers Making Provably Optimal Self-Improvements
    (27 Dec 2004)
    by Juergen Schmidhuber
    posted to adaptability aixi all-logical-theories atp autonomic-computing bias biops chu-space computability-logic computational-epistemology computational-learning computational-mathematics computational-science domain-theory dynamics efficiency formal-development formal-system generalized-kolmogorov-complexity goedel-machine gtm iff inference inference-dynamics interactivity lattice-of-theories least-time machine-learning metaevolution metalogic-programming metalogics metascience model-selection oops optimality paraconsistency problem-solving proof-search reinforcement-learning resource-allocation robotics searching self-adaptation self-managing self-reference semweb speed-prior survivability temporal-logic universal-search universality utility by scis0000001 on 2006-09-15 14:13:48 as ** along with 1 person Scis0000002
  • A categorial approach to the combination of logics
    Manuscrito---Revista Internacional de Filosofia, Vol. XXII, No. 2. (1999), pp. 69-94.
    by Walter A Carnielli, Marcelo E Coniglio
    posted to metalogics by scis0000001 on 2007-01-16 09:38:39 as **
  • Combining and Representing Logical Systems
    (1997), pp. 177-196.
    by Till Mossakowski, Andrzej Tarlecki, Wieslaw Pawlowski
    posted to metalogics by scis0000001 on 2007-01-12 22:03:18 as **
  • A study in the foundations of programming methodology: specifications, institutions, charters and parchments
    (1986), pp. 313-333.
    by JA Goguen, RM Burstall
    posted to category-theory charters iff institutions logics managed-logic metalogics metascience parchments programming specifications by scis0000001 on 2006-12-30 21:54:09 as **
  • Programming Metalogics with a Fixpoint Type
    (January 1992)
    by Roy L Crole
    posted to metalogic-programming metalogics by scis0000001 on 2007-01-12 22:04:20 as ** along with 1 person glaubersp
  • Synchronization of Logics
    Studia Logica, Vol. 59, No. 2. (1997), pp. 217-247.
    by A Sernadas, C Sernadas, C Caleiro
    posted to institutions lattice-of-theories logics metalogics space-of-theories by scis0000001 on 2007-02-16 08:50:09 as ** along with 1 person kozima
  • Parameterisation of Logics
    (1998), pp. 48-62.
    by Carlos Caleiro, Cristina Sernadas, Amilcar Sernadas
    posted to logics metalogics parameterisation by scis0000001 on 2007-03-08 14:36:16 as **
  • Rewriting logic: roadmap and bibliography
    Theor. Comput. Sci., Vol. 285, No. 2. (August 2002), pp. 121-154.
    by Narciso Mart&\#237;-Oliet, Jos&\#233; Meseguer
    posted to executable metalogics rewriting-logic by scis0000001 on 2007-04-14 01:44:46 as **
  • Argumentation-theoretic proof procedures for default reasoning
    (1997)
    by P Dung, R Kowalski, F Toni
    posted to argumentation argumentation-theory atp category-theory computability-logic curry-howard-isomorphism dialogue game-theory games implementation incompleteness lp metalogic-programming metalogics model-theory nonmonotonicity oops proof proof-procedure proof-search proof-theory proof-tree protocol search-space searching semantics specification stone-duality tree by scis0000001 on 2007-02-14 14:09:28 as **
  • 2OBJ: a metalogical framework theorem prover based on equational logic
    (1992), pp. 69-86.
    by Joseph Goguen, Andrew Stevens, Hendrik Hilberdink, Keith Hobley
    posted to atp equational-logic metalogics by scis0000001 on 2007-03-16 09:49:44 as **
  • Quantum Logic and the Cube of Logics
    (1997)
    by Giulia Battilotti, Claudia Faggian
    posted to metalogics by scis0000001 on 2007-03-14 23:39:24 as **
  • What Is a Concept?
    Lecture Notes in Computer Science : Conceptual Structures: Common Semantics for Sharing Knowledge (2005), pp. 52-77.
    by Joseph Goguen
    posted to algebraic-semiotics blend-space blending-theory category-of-theories category-theory channel-theory chu-space classification combination concept-lattice conceptual-space conceptual-structures context contextuality cultrual-evolution dynamical-system fca formal-development formal-language-theory formal-methods formal-philosophy formal-science galois-frame general-systems-theory iff information-flow institutions lattice-of-theories logical-framework managed-logic maude mental-space metalogics metascience ontology ontology-space parchments regularity representation semantic-space semantics semiotic-space signatures systems-theory theory-development topos-theory unified-concept-theory by scis0000001 on 2007-04-21 14:31:54 as ** along with 7 people and 2 groups garyfeng adrian_pigors maike livingthingdan mzygmunt RafG Scis0000002 ReadingLab livingthing
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/tag/metalogics

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.