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
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
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
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Structure of proofs (03F07) General logic (03Bxx)
Cited In (30)
- Dual tableau for monoidal triangular norm logic MTL
- Tableaux and dual tableaux: transformation of proofs
- Title not available (Why is that?)
- On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility
- Title not available (Why is that?)
- On a self-dual notation in automated reasoning
- Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning
- Helena Rasiowa (1917-1994) Life and Personality
- Natural deduction systems for intuitionistic logic with identity
- (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
- Title not available (Why is that?)
- Relational dual tableau decision procedures and their applications to modal and intuitionistic logics
- Sequent calculi for \(\mathsf{SCI}\)
- The duality diagram in data analysis: examples of modern applications
- Dual tableau-based decision procedures for relational logics with restricted composition operator
- Proofs and countermodels in non-classical logics
- Tableau-based decision procedure for non-Fregean logic of sentential identity
- Rasiowa-Sikorski deduction systems with the rule of cut: a case study
- Algebras for Galois-style connections and their discrete duality
- Logics of Similarity and their Dual Tableaux A Survey
- Relational dual tableau decision procedure for modal logic K
- Computational complexity of hybrid interval temporal logics
- Infinite-valued first-order Łukasiewicz logic: hypersequent calculi without structural rules and proof search for sentences in the prenex form
- Duality via truth for some fuzzy modal logic
- The logic of partitions: introduction to the dual of the logic of subsets
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)
