Pages that link to "Item:Q3246321"
From MaRDI portal
The following pages link to Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül (Q3246321):
Displaying 44 items.
- Propositional logics of dependence (Q278765) (← links)
- Information completeness in Nelson algebras of rough sets induced by quasiorders (Q383570) (← links)
- Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
- Truth-maker semantics for intuitionistic logic (Q484121) (← links)
- On the semantics and logic of declaratives and interrogatives (Q514591) (← links)
- On the simple substitution property for superintuitionistic and modal propositional logics (Q542292) (← links)
- Intermediate logics and Visser's rules (Q558441) (← links)
- Inquisitive logic (Q626493) (← links)
- Intermediate logics and the de Jongh property (Q627438) (← links)
- Intermediate logics and factors of the Medvedev lattice (Q952483) (← links)
- On two problems of Harvey Friedman (Q1140629) (← links)
- The disjunction property of intermediate propositional logics (Q1181482) (← links)
- An infinite class of maximal intermediate propositional logics with the disjunction property (Q1204112) (← links)
- Derivability of admissible rules (Q1245932) (← links)
- Refutation systems in modal logic (Q1327486) (← links)
- Propositional lax logic (Q1368378) (← links)
- On the extension of intuitionistic propositional logic with Kreisel- Putnam's and Scott's schemes (Q1820767) (← links)
- A method to single out maximal propositional logics with the disjunction property. I (Q1902974) (← links)
- A method to single out maximal propositional logics with the disjunction property. II (Q1902977) (← links)
- Metacompleteness of substructural logics (Q1935554) (← links)
- On the rules of intermediate logics (Q2501166) (← links)
- Failure of completeness in proof-theoretic semantics (Q2516584) (← links)
- Some results on the intermediate logics (Q2557689) (← links)
- On maximal intermediate predicate constructive logics (Q2563458) (← links)
- A Multi-type Calculus for Inquisitive Logic (Q2820696) (← links)
- (Q3384899) (← links)
- Disjunction and existence under implication in elementary intuitionistic formalisms (Q3851084) (← links)
- Canonical formulas for <i>K</i>4. Part I: Basic results (Q4032666) (← links)
- The undecidability of the disjunction property of propositional logics and other related problems (Q4276033) (← links)
- Counting the maximal intermediate constructive logics (Q4283073) (← links)
- Generalized tableau systems for intermediate propositional logics (Q4610314) (← links)
- Rejection in Łukasiewicz’s and Słupecki’s Sense (Q4611693) (← links)
- An extension of the Kreisel-Putnam system (Q4777261) (← links)
- A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property (Q4777279) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
- The Context of Inference (Q5208107) (← links)
- Bibliography of Hilary Putnam’s Writings in Logic and Mathematics (Q5214672) (← links)
- A Generalization of Maksimova’s Criterion for the Disjunction Property (Q5214734) (← links)
- The decidability of certain intermediate propositional logics (Q5565105) (← links)
- Some structure results for propositional calculi (Q5582301) (← links)
- A class of decidable intermediate propositional logics (Q5619824) (← links)
- The decidability of the Kreisel-Putnam system (Q5635427) (← links)
- V. Yankov’s Contributions to Propositional Logic (Q5886455) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Q5966661) (← links)