Pages that link to "Item:Q710340"

The following pages link to Dual tableaux. Foundations, methodology, case studies (Q710340):

Displaying 18 items.

• Relational dual tableau decision procedures and their applications to modal and intuitionistic logics (Q386620) (← links)
• Dual tableau for monoidal triangular norm logic MTL (Q622083) (← links)
• Algebras for Galois-style connections and their discrete duality (Q969585) (← links)
• Sequent calculi for \(\mathsf{SCI}\) (Q1653652) (← links)
• Tableau-based decision procedure for non-Fregean logic of sentential identity (Q2055842) (← links)
• Computational complexity of hybrid interval temporal logics (Q2084954) (← links)
• Natural deduction systems for intuitionistic logic with identity (Q2106875) (← links)
• Proofs and countermodels in non-classical logics (Q2254557) (← links)
• Rasiowa-Sikorski deduction systems with the rule of cut: a case study (Q2422312) (← links)
• Dual tableau-based decision procedures for relational logics with restricted composition operator (Q2901210) (← links)
• On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility (Q2915076) (← links)
• Infinite-Valued First-Order Łukasiewicz Logic: Hypersequent Calculi Without Structural Rules and Proof Search for Sentences in the Prenex Form (Q4558324) (← links)
• Helena Rasiowa (1917-1994) Life and Personality (Q6164812) (← links)
• Duality via truth for some fuzzy modal logic (Q6547667) (← links)
• Dual tableau-based decision procedures for fragments of the logic of binary relations (Q6599613) (← links)
• Machine-checked meta-theory of dual-tableaux for intuitionistic logic (Q6599616) (← links)
• A reasoning system for satisfiability of diagrammatic specifications (Q6599622) (← links)
• (Heterogeneous) structured specifications in logics without interpolation (Q6599623) (← links)