Pages that link to "Item:Q3246321"

The following pages link to Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül (Q3246321):

Displaying 45 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)
• Notes on my scientific life (Q6612807) (← links)