Search results
From MaRDI portal
- 1957-01-01 Paper A definition of negation in extended basic logic 1954-01-01 Paper A simplification of basic logic 1953-01-01 Paper https://portal.mardi4nfdi.de/entity/Q5824363...10 bytes (17 words) - 02:32, 25 September 2023
- Propositional Logic into Basic Propositional Logic 2000-12-06 Paper A translation of intuitionistic predicate logic into basic predicate logic 2000-03-13...10 bytes (13 words) - 22:25, 24 September 2023
- Interpolation in Linear Logic and Related Systems 2023-05-08 Paper Some modal and temporal translations of generalized basic logic 2023-03-30 Paper Semiconic...10 bytes (13 words) - 22:58, 24 September 2023
- Intuitionistic Logic 2023-04-05 Paper Generalized Realizability and Basic Logic 2022-12-08 Paper Generalized Realizability and Intuitionistic Logic 2022-05-17...10 bytes (15 words) - 21:13, 10 December 2023
- all 4-valued implicative expansions of Belnap-Dunn logic containing Routley and Meyer's basic logic \(\mathrm{B}^{\mathrm{d}}\) 2024-11-15 Paper Correction...10 bytes (13 words) - 00:00, 25 September 2023
- 2001-07-26 Paper Embedding classical logic into basic orthologic with a primitive modality 1999-03-02 Paper Basic Logic and Quantum Computing: Logical Judgements...10 bytes (13 words) - 18:05, 6 October 2023
- Paper Remarks on Stable Formulas in Intuitionistic Logic 2020-02-11 Paper Basic propositional logic and the weak excluded middle 2019-06-18 Paper Counting...10 bytes (13 words) - 09:26, 25 September 2023
- \(n\)-fold implicative basic logic is Gödel logic 2013-01-25 Paper A New Characterization for n–Fold Positive Implicative BL–Logics 2012-11-27 Paper...10 bytes (13 words) - 09:03, 6 October 2023
- methodology for automated theorem finding 2014-10-06 Paper Semantics for a basic relevant logic with intensional conjunction and disjunction 2013-12-04 Paper A quantitative...10 bytes (13 words) - 18:36, 6 October 2023
- axiomatization for basic predicate calculus 2003-09-16 Paper Gentzen-style axiomatizations for some conservative extensions of Basic Propositional Logic 2002-04-14...10 bytes (13 words) - 08:26, 25 September 2023
- as an axiomatization of modal and tense logics 2016-01-13 Paper The propositional logic induced by means of basic algebras 2016-01-13 Paper The join of the...10 bytes (13 words) - 09:32, 9 December 2023
- Non-normal Public Announcement Logic 2015-01-09 Paper Residuated Basic Logic I 2014-02-23 Paper Residuated Basic Logic II. Interpolation, Decidability and Embedding...10 bytes (13 words) - 16:34, 6 October 2023
- Publication Type A basic system of paraconsistent Nelsonian logic of conditionals. 2025-01-13 Paper An intuitionistically complete system of basic intuitionistic...10 bytes (14 words) - 03:52, 12 December 2023
- Paper The basic intuitionistic logic of proofs 2007-07-09 Paper Computer Science Logic 2007-06-21 Paper The Skolemization of existential quantifiers in intuitionistic...10 bytes (13 words) - 15:43, 24 September 2023
- 2023-02-03 Paper Coalgebraic Geometric Logic: Basic Theory 2023-01-09 Paper Model theory of monadic predicate logic with the infinity quantifier 2022-06-14...10 bytes (14 words) - 15:20, 8 December 2023
- computability logic 2012-10-17 Paper A logical basis for constructive systems 2012-06-20 Paper Separating the basic logics of the basic recurrences 2012-04-13...10 bytes (13 words) - 15:48, 24 September 2023
- Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes 2023-10-02 Paper \textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixes...10 bytes (13 words) - 06:56, 7 October 2023
- multiple-valued logic 2022-12-05 Paper Completeness criterion with respect to the enumeration closure operator in the three-valued logic 2022-10-06 Paper...10 bytes (15 words) - 15:04, 9 December 2023
- Lukasiewicz-Pavelka logic 2015-06-24 Paper Erratum to: ``\(n\)-fold implicative basic logic is Gödel logic. 2013-11-07 Paper \(n\)-fold implicative basic logic is Gödel...10 bytes (14 words) - 10:15, 9 December 2023
- bounded Boolean logics 2013-11-29 Paper Two dimensional standard deontic logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system] 2013-11-25...10 bytes (16 words) - 01:43, 9 December 2023
