scientific article
From MaRDI portal
Publication:3227561
zbMath0067.00103MaRDI QIDQ3227561
Publication date: 1955
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (24)
On the relative merits of path dissolution and the method of analytic tableaux ⋮ Well-Ordering Principles in Proof Theory and Reverse Mathematics ⋮ Henkin’s Theorem in Textbooks ⋮ Tableau for the logic ILP ⋮ Coalition Description Logic with Individuals ⋮ A near-optimal method for reasoning about action ⋮ Logic without metaphysics ⋮ Jean van Heijenoort's contributions to proof theory and its history ⋮ A constructive approach to state description semantics ⋮ Rejection in Łukasiewicz’s and Słupecki’s Sense ⋮ First-order automated reasoning with theories: when deduction modulo theory meets practice ⋮ Infinity and verifiability in Carnap's inductive logic ⋮ Tavole semantiche per sistemi astratti di logica estensionale ⋮ Relevant analytic tableaux ⋮ Provability as a deontic notion ⋮ Finite tree property for first-order logic with identity and functions ⋮ Hintikka memorial issue: introduction and remarks on Jaakko Hintikka's logical philosophy ⋮ Hintikka and the functions of logic ⋮ Varieties of rigidity ⋮ Labelled tableau systems for some subintuitionistic logics ⋮ From Schütte’s Formal Systems to Modern Automated Deduction ⋮ \textsf{Goéland}: a concurrent tableau-based theorem prover (system description) ⋮ A goal-directed decision procedure for hybrid PDL ⋮ The genesis of possible worlds semantics
This page was built for publication:
