Pages that link to "Item:Q1311413"

The following pages link to Gentzen-type systems, resolution and tableaux (Q1311413):

Displaying 23 items.

• On Gentzen relations associated with finite-valued logics preserving degrees of truth (Q368479) (← links)
• Two party immediate response disputes: Properties and efficiency (Q814510) (← links)
• Hypersequents, logical consequence and intermediate logics for concurrency (Q1354077) (← links)
• Relative efficiency of propositional proof systems: Resolution vs. cut-free LK (Q1577476) (← links)
• A note on cut-elimination for classical propositional logic (Q2144620) (← links)
• Superposition with equivalence reasoning and delayed clause normal form transformation (Q2486577) (← links)
• GEOMETRISATION OF FIRST-ORDER LOGIC (Q2795295) (← links)
• Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi (Q2817945) (← links)
• A Multiple-Conclusion Calculus for First-Order Gödel Logic (Q3007648) (← links)
• Kripke Semantics for Basic Sequent Systems (Q3010359) (← links)
• FRACTIONAL SEMANTICS FOR CLASSICAL LOGIC (Q3389493) (← links)
• Strict Canonical Constructive Systems (Q3585998) (← links)
• Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination (Q3605518) (← links)
• Abduction via <i>C</i>-tableaux and δ-resolution (Q3647297) (← links)
• (Q4282590) (← links)
• A Strong Completeness Theorem for the Gentzen systems associated with finite algebras (Q4443419) (← links)
• Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics (Q4583342) (← links)
• Proof-terms for classical and intuitionistic resolution (Q4647497) (← links)
• What you always wanted to know about rigid E-unification (Q5235253) (← links)
• GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC (Q5381029) (← links)
• Cut elimination by unthreading (Q6139240) (← links)
• Abduction as deductive saturation: a proof-theoretic inquiry (Q6145029) (← links)
• Complementary proof nets for classical logic (Q6146288) (← links)