Dual tableaux. Foundations, methodology, case studies

DOI10.1007/978-94-007-0005-5zbMATH Open1210.03001OpenAlexW205246246MaRDI QIDQ710340FDOQ710340

Authors Joanna Golińska-Pilarek, Ewa 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 logictemporal logicspatial reasoningrelevant logicdual tableauxrelational logicrelational databasethreshold logicalgebra of binary relations[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=G%EF%BF%BD%EF%BF%BDdel-Dummett+logic&go=Go G��del-Dummett logic]information 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)

Recommendations

• Tableaux and related methods
• scientific article; zbMATH DE number 3982574
• Tableaux and dual tableaux: transformation of proofs
• Tableaux for structural abduction
• Empirical investigation on combining tableaux and resolution
• Relational dual tableau decision procedures and their applications to modal and intuitionistic logics
• The generalized doubling construction and formal concept analysis
• Canonical duality theory. Unified methodology for multidisciplinary study
• Dualisation of dualities

Cited in

(30)

• Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning
• Helena Rasiowa (1917-1994) Life and Personality
• On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility
• The duality diagram in data analysis: examples of modern applications
• Logics of Similarity and their Dual Tableaux A Survey
• Dual tableau-based decision procedures for relational logics with restricted composition operator
• Dual tableau for monoidal triangular norm logic MTL
• Relational dual tableau decision procedures and their applications to modal and intuitionistic logics
• Computational complexity of hybrid interval temporal logics
• Duality via truth for some fuzzy modal logic
• Tableau-based decision procedure for non-Fregean logic of sentential identity
• On a self-dual notation in automated reasoning
• Sequent calculi for \(\mathsf{SCI}\)
• scientific article; zbMATH DE number 446843 (Why is no real title available?)
• The logic of partitions: introduction to the dual of the logic of subsets
• Natural deduction systems for intuitionistic logic with identity
• Relational dual tableau decision procedure for modal logic K
• Rasiowa-Sikorski deduction systems with the rule of cut: a case study
• Infinite-valued first-order Łukasiewicz logic: hypersequent calculi without structural rules and proof search for sentences in the prenex form
• (Heterogeneous) structured specifications in logics without interpolation
• A reasoning system for satisfiability of diagrammatic specifications
• Dual tableau-based decision procedures for fragments of the logic of binary relations
• Machine-checked meta-theory of dual-tableaux for intuitionistic logic
• Signed dual tableaux for Kleene answer set programs
• Tableaus and dual Tableaus
• scientific article; zbMATH DE number 1395652 (Why is no real title available?)
• Algebras for Galois-style connections and their discrete duality
• Proofs and countermodels in non-classical logics
• scientific article; zbMATH DE number 2120023 (Why is no real title available?)
• Tableaux and dual tableaux: transformation of proofs

This page was built for publication: Dual tableaux. Foundations, methodology, case studies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q710340)