Search results
From MaRDI portal
- for paraconsistent logic 2021-01-08 Paper https://portal.mardi4nfdi.de/entity/Q5116453 2020-08-25 Paper What is a Paraconsistent Logic? 2020-08-06 Paper...10 bytes (19 words) - 22:09, 9 December 2023
- for Writing Derivations and Finite Interpretations 2009-03-12 Paper Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation 2009-03-12...10 bytes (18 words) - 14:54, 8 December 2023
- closure operators on fuzzy sets and cuts 2017-11-13 Paper Fuzzy logic interpretations in categories of fuzzy objects 2017-02-17 Paper Closure theories...10 bytes (16 words) - 11:20, 12 December 2023
- of the implicative fragment of classical logic 2015-07-02 Paper A cut-free sequent calculus for relevant logic RW 2015-02-12 Paper https://portal.mardi4nfdi...10 bytes (19 words) - 10:40, 12 December 2023
- Axiomatization of a functional logic language 2022-08-16 Paper Deriving logical relations from interpretations of predicate logic 2022-04-29 Paper Induction...10 bytes (18 words) - 01:41, 10 December 2023
- provability logic GLP 2015-08-27 Paper TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE S4 2015-08-14 Paper Topological Interpretations of Provability Logic 2015-06-19...10 bytes (16 words) - 14:46, 10 December 2023
- Non-termination Analysis of Logic Programs 2012-11-13 Paper Polytool: Polynomial interpretations as a basis for termination analysis of logic programs 2011-08-17...10 bytes (19 words) - 04:12, 9 December 2023
- 2009-06-16 Paper The knower paradox in the light of provability interpretations of modal logic 2005-06-16 Paper...10 bytes (16 words) - 00:59, 10 December 2023
- verified VCGen based on dynamic logic: an exercise in meta-verification with Why3 2023-06-19 Paper Variations and interpretations of naturality in call-by-name...10 bytes (18 words) - 01:47, 12 December 2023
- https://portal.mardi4nfdi.de/entity/Q5677460 1973-01-01 Paper Object logic and morphism logic 1972-01-01 Paper Interpolation Theorem and Characterization Theorem...10 bytes (16 words) - 04:34, 13 December 2023
- and functional interpretation 2018-03-21 Paper All Triangles at Once 2016-06-16 Paper Copies of Classical Logic in Intuitionistic Logic 2015-07-30 Paper...10 bytes (16 words) - 11:29, 6 October 2023
- probabilistic approach to an extension of Belnap-Dunn logic 2023-12-14 Paper New semantics for urn logics: taming the enduring scandal of deduction 2023-01-12...10 bytes (19 words) - 19:31, 9 December 2023
- Definitional Equivalence and Interpretations 1978-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4133974 1977-01-01 Paper α Logic and Infinitary Languages...10 bytes (18 words) - 12:21, 13 December 2023
- Paper Interpreting Abstract Interpretations in Membership Equational Logic 2013-07-24 Paper From Hoare Logic to Matching Logic Reachability 2012-11-08 Paper...10 bytes (17 words) - 01:42, 9 December 2023
- Polynomial interpretations as a basis for termination analysis of logic programs 2011-08-17 Paper The Dependency Triple Framework for Termination of Logic Programs...10 bytes (18 words) - 06:43, 7 October 2023
- 2013-04-23 Paper On bounded functional interpretations 2012-06-01 Paper Functional Interpretations of Intuitionistic Linear Logic 2011-05-26 Paper Confined modified...10 bytes (16 words) - 17:56, 6 October 2023
- first-order logic 2016-07-28 Paper Graded consequence: an institution theoretic study 2015-12-02 Paper The Algebra of Opposition (and Universal Logic Interpretations)...10 bytes (16 words) - 12:37, 28 January 2024
- Publication Date of Publication Type Quantum logic in the context of the mathematical foundation of quantum mechanics 2024-01-23 Paper Логика как эмпирическая...10 bytes (17 words) - 19:41, 12 December 2023
- Hybrid Functional Interpretations 2008-06-19 Paper Computer Science Logic 2006-11-01 Paper A complexity analysis of functional interpretations 2005-06-30 Paper...10 bytes (18 words) - 07:39, 7 October 2023
- 2011-02-21 Paper A PolyTime Functional Language from Light Linear Logic 2010-05-04 Paper Linear logic by levels and bounded time complexity 2009-12-15 Paper Verification...10 bytes (16 words) - 10:43, 6 October 2023
