Dual tableaux. Foundations, methodology, case studies

DOI10.1007/978-94-007-0005-5zbMath1210.03001OpenAlexW205246246MaRDI QIDQ710340

Joanna Golińska-Pilarek, Ewa S. Orłowska

Publication date: 19 October 2010

Published in: Trends in Logic -- Studia Logica Library (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-0005-5

zbMATH Keywords

fuzzy logicrelational databaserelevant logictemporal logicspatial reasoninginformation logicdual tableauxrelational logicthreshold logicalgebra of binary relationsGödel-Dummett logiclogics of conditional decisionslogics of programsPost logicrelational reasoning

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Structure of proofs (03F07) General logic (03Bxx)

Related Items

Dual tableau-based decision procedures for relational logics with restricted composition operator, On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility, Infinite-Valued First-Order Łukasiewicz Logic: Hypersequent Calculi Without Structural Rules and Proof Search for Sentences in the Prenex Form, Sequent calculi for \(\mathsf{SCI}\), Relational dual tableau decision procedures and their applications to modal and intuitionistic logics, Dual tableau for monoidal triangular norm logic MTL, Rasiowa-Sikorski deduction systems with the rule of cut: a case study, Helena Rasiowa (1917-1994) Life and Personality, Proofs and countermodels in non-classical logics, Algebras for Galois-style connections and their discrete duality, Tableau-based decision procedure for non-Fregean logic of sentential identity, Computational complexity of hybrid interval temporal logics, Natural deduction systems for intuitionistic logic with identity