Search results
From MaRDI portal
- Theories For Semilattice Logics 1988-01-01 Paper Four relevant Gentzen systems 1987-01-01 Paper Proof Theories for Semilattice Logics 1987-01-01 Paper A contractionless...10 bytes (16 words) - 09:05, 12 December 2023
- contraction-less logics 1998-10-11 Paper Relevant implication and the case for a weaker logic 1997-10-26 Paper Gentzenizations of relevant logics without distribution...10 bytes (18 words) - 23:59, 11 December 2023
- completeness for relevant modal logics 2015-07-20 Paper Some metacomplete relevant modal logics 2013-12-05 Paper Metacompleteness of substructural logics 2013-02-18...10 bytes (16 words) - 06:00, 7 October 2023
- Publication Type QUANTIFIED MODAL RELEVANT LOGICS 2023-03-02 Paper Neighbourhood semantics for modal relevant logics 2023-02-24 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 00:14, 25 September 2023
- Paper Non-Boolean classical relevant logics. I 2023-03-31 Paper Boolean negation and non-conservativity I: Relevant modal logics 2022-01-05 Paper Boolean...10 bytes (18 words) - 16:55, 6 October 2023
- SYSTEMS FOR RELEVANT LOGICS 2024-03-16 Paper Weak relevant justification logics 2024-02-08 Paper COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS 2024-01-11...10 bytes (16 words) - 19:24, 24 September 2023
- Paper Process and action: Relevant theory and logics 1993-04-01 Paper On interpreting truth tables and relevant truth table logic 1993-02-22 Paper Simplified...10 bytes (17 words) - 00:21, 12 December 2023
- Completeness of implicational relevant logics 2000-12-19 Paper Substructural implicational logics including the relevant logic E 2000-09-05 Paper https://portal...10 bytes (16 words) - 03:04, 7 October 2023
- Publication Date of Publication Type Modular labelled calculi for relevant logics 2023-04-26 Paper...10 bytes (16 words) - 21:12, 27 December 2023
- Publication Date of Publication Type The Difficulties in Using Weak Relevant Logics for Naive Set Theory 2020-08-10 Paper...10 bytes (16 words) - 19:24, 6 October 2023
- Identity in Relevant Logics 2020-08-10 Paper Manipulating Sources of Information: Towards an Interpretation of Linear Logic and Strong Relevance Logic 2020-08-07...10 bytes (18 words) - 23:59, 11 December 2023
- Routley-Meyer Semantics for the 4-valued Relevant Logic E4 2017-11-17 Paper Relational semantics for the 4-valued relevant logics BN4 and E4 2017-05-18 Paper...10 bytes (18 words) - 06:35, 7 October 2023
- complementation: an algebraic take on Kapsner strong logics 2023-04-21 Paper Relevant epistemic logic with public announcements and common knowledge 2023-03-30...10 bytes (16 words) - 23:05, 24 September 2023
- problem 1985-01-01 Paper A metacompleteness theorem for contraction-free relevant logics 1984-01-01 Paper...10 bytes (19 words) - 02:44, 9 December 2023
- Routley-Meyer Semantics for the 4-valued Relevant Logic E4 2017-11-17 Paper Relational semantics for the 4-valued relevant logics BN4 and E4 2017-05-18 Paper...10 bytes (18 words) - 06:35, 7 October 2023
- contribution to Whitehead’s foundations of logic and mathematics 2011-04-20 Paper Decision procedure of some relevant logics: a constructive perspective 2009-11-30...10 bytes (16 words) - 06:36, 7 October 2023
- semantics for relevant logics (and some of their rivals) 1995-03-22 Paper A Useful Substructural Logic 1995-01-02 Paper Subintuitionistic logics 1994-09-13...10 bytes (16 words) - 09:34, 7 October 2023
- Belnap's logic FDE 2023-03-31 Paper Two 4-valued implicative expansions of first-degree entailment logic: The relevant logic BN4VSP and the (relevant) entailment...10 bytes (16 words) - 01:00, 25 September 2023
- Routley-Meyer Semantics for the 4-valued Relevant Logic E4 2017-11-17 Paper Relational semantics for the 4-valued relevant logics BN4 and E4 2017-05-18 Paper...10 bytes (18 words) - 06:35, 7 October 2023
- Relational semantics for the 4-valued relevant logics BN4 and E4 2017-05-18 Paper...10 bytes (18 words) - 06:35, 7 October 2023