Pages that link to "Item:Q1840142"
From MaRDI portal
The following pages link to Untersuchungen über das logische Schliessen. I (Q1840142):
Displayed 50 items.
- Relevant identity (Q1288138) (← links)
- Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence (Q1314288) (← links)
- A survey of multiple contractions (Q1314509) (← links)
- A uniform tableau method for intuitionistic modal logics. I (Q1317899) (← links)
- Proof theory for minimal quantum logic. I (Q1325718) (← links)
- Accelerating tableaux proofs using compact representations (Q1334905) (← links)
- Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) logic (Q1337604) (← links)
- Hybridizing nonmonotonic inheritance with theorem proving (Q1356176) (← links)
- Indexed systems of sequents and cut-elimination (Q1372944) (← links)
- Intuitive minimal abduction in sequent calculi (Q1389097) (← links)
- The diagrams of formulas of the modal propositional S4 calculus (Q1394220) (← links)
- IeanCOP: lean connection-based theorem proving (Q1404981) (← links)
- Quine and Slater on paraconsistency and deviance (Q1411358) (← links)
- Four-valued logic (Q1422105) (← links)
- On the intuitionistic force of classical search (Q1575923) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- Reduction of finite and infinite derivations (Q1577482) (← links)
- The revival of rejective negation (Q1582228) (← links)
- Five observations concerning the intended meaning of the intuitionistic logical constants (Q1582231) (← links)
- Weight of the comprehension axiom in a theory based on logic without contractions (Q1582825) (← links)
- Peirce's rule in natural deduction. (Q1607223) (← links)
- A proof-theoretical investigation of global intuitionistic (fuzzy) logic (Q1778065) (← links)
- Semantic bootstrapping of type-logical grammar (Q1778102) (← links)
- The simple substitution property of Gödel's intermediate propositional logics \(S_ n\)'s (Q1814180) (← links)
- Key notions of Tarski's methodology of deductive systems (Q1820770) (← links)
- A formalization of the modal propositional S4 calculus (Q1845872) (← links)
- A formalization of the propositional calculus of H-B logic (Q1846858) (← links)
- Streams and strings in formal proofs. (Q1853510) (← links)
- Structural cut elimination. I: Intuitionistic and classical logic (Q1854335) (← links)
- A uniform procedure for converting matrix proofs into sequent-style systems (Q1854382) (← links)
- Church-Rosser property of a simple reduction for full first-order classical natural deduction (Q1861541) (← links)
- MELL in the calculus of structures (Q1884903) (← links)
- Variants of the basic calculus of constructions (Q1885480) (← links)
- A note on the proof theory of the \(\lambda \Pi\)-calculus (Q1891931) (← links)
- Grammar induction by unification of type-logical lexicons (Q1959226) (← links)
- Regaining cut admissibility in deduction modulo using abstract completion (Q2266989) (← links)
- Linear axiomatics of commutative product-free Lambek calculus (Q2277257) (← links)
- What is the logic of inference? (Q2426732) (← links)
- Meaning as an inferential role (Q2432050) (← links)
- E-generalization using grammars (Q2457667) (← links)
- On the unity of duality (Q2482843) (← links)
- Decision methods for linearly ordered Heyting algebras (Q2491077) (← links)
- Herbrand's theorem and term induction (Q2491080) (← links)
- Sequent forms of Herbrand theorem and their applications (Q2502163) (← links)
- Computing interpolants in implicational logics (Q2503400) (← links)
- Order-enriched categorical models of the classical sequent calculus (Q2576913) (← links)
- Remarques sur la notion de la perfection (Q2650501) (← links)
- Sur les formes normales (Q2651856) (← links)
- A Brief History of Natural Deduction (Q2757973) (← links)
- A SEQUENT CALCULUS ISOMORPHIC TO GENTZEN’S NATURAL DEDUCTION (Q3005996) (← links)