Dual tableaux. Foundations, methodology, case studies
From MaRDI portal
Publication:710340
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
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)