Search results
From MaRDI portal
- superintuitionistic logics with the disjunction property 1994-02-08 Paper The undecidability of the disjunction property of propositional logics and other...10 bytes (17 words) - 20:21, 12 December 2023
- 2020-08-26 Paper Deductive systems with multiple-conclusion rules and the disjunction property 2020-03-24 Paper Characteristic Formulas Over Intermediate Logics...10 bytes (16 words) - 13:01, 6 October 2023
- logics with the disjunction property. I 1996-01-16 Paper A method to single out maximal propositional logics with the disjunction property. II 1995-12-05...10 bytes (17 words) - 12:50, 28 January 2024
- tableaux and interpolation 2008-07-02 Paper On theories with the general disjunction property 2007-09-03 Paper https://portal.mardi4nfdi.de/entity/Q4815865 2004-09-08...10 bytes (16 words) - 07:25, 13 December 2023
- Condition for the Finite Model Property of Modal Logics above K4 1994-11-24 Paper The undecidability of the disjunction property of propositional logics and...10 bytes (17 words) - 23:16, 9 December 2023
- of Maximal Intermediate Propositional Logics with the Disjunction Property 1997-09-29 Paper...10 bytes (16 words) - 21:32, 27 December 2023
- of Maximal Intermediate Propositional Logics with the Disjunction Property 1997-09-29 Paper...10 bytes (16 words) - 21:32, 27 December 2023
- Publication Date of Publication Type On the Negative Disjunction Property 2019-03-19 Paper...10 bytes (18 words) - 13:13, 7 October 2023
- 2012-05-30 Paper An algebraic approach to the disjunction property of substructural logics 2008-04-29 Paper...10 bytes (16 words) - 14:00, 6 October 2023
- rules and the disjunction property in intermediate logics 2012-02-10 Paper A mind of a non-countable set of ideas 2008-11-10 Paper...10 bytes (16 words) - 06:43, 7 October 2023
- logics with the disjunction property. I 1996-01-16 Paper A method to single out maximal propositional logics with the disjunction property. II 1995-12-05...10 bytes (16 words) - 13:49, 7 October 2023
- class of logics without disjunction property 1978-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4179005 1978-01-01 Paper...10 bytes (18 words) - 22:24, 22 September 2023
- Date of Publication Type A result on propositional logics having the disjunction property 1982-01-01 Paper A Complete Semantics for Implicational Logics 1981-01-01...10 bytes (18 words) - 10:20, 24 September 2023
- extensions of the constructive logic with strong negation and the disjunction property 1996-07-01 Paper https://portal.mardi4nfdi.de/entity/Q4025007 1993-02-22...10 bytes (16 words) - 12:52, 28 January 2024
- Predicate calculus and arithmetic with Grzegorczyk 1989-01-01 Paper The disjunction property and Church's thesis in arithmetic with Grzegorczyk logic 1989-01-01...10 bytes (18 words) - 05:44, 7 October 2023
- of Finite Integral Commutative Residuated Chains 2011-11-10 Paper Disjunction property and complexity of substructural logics 2011-07-18 Paper Cancellative...10 bytes (16 words) - 07:57, 12 December 2023
- Publication Date of Publication Type On harrop disjunction property in intermediate predicate logics 2024-04-16 Paper A Sufficient Condition for a Prime...10 bytes (16 words) - 08:50, 7 October 2023
- of decidable finitely axiomatizable intermediate logics with the disjunction property 1974-01-01 Paper https://portal.mardi4nfdi.de/entity/Q5631083 1970-01-01...10 bytes (23 words) - 01:17, 12 December 2023
- hierarchy of predicates 1975-01-01 Paper The disjunction property implies the numerical existence property 1975-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4111536...10 bytes (19 words) - 00:01, 9 December 2023
- Sequent and Tableau Calculi 2017-11-10 Paper On the complexity of the disjunction property in intuitionistic and modal logics 2017-07-12 Paper Simplification...10 bytes (16 words) - 09:02, 25 September 2023
