Pages that link to "Item:Q2795295"

The following pages link to GEOMETRISATION OF FIRST-ORDER LOGIC (Q2795295):

Displaying 18 items.

• A theory of duality in Euclidean geometry (Q1646649) (← links)
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
• Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
• Proof-theoretic analysis of the logics of agency: the deliberative STIT (Q2046875) (← links)
• Theorem proving as constraint solving with coherent logic (Q2102932) (← links)
• From axioms to synthetic inference rules via focusing (Q2120974) (← links)
• Formalizing Kant's rules. A logic of conditional imperatives and permissives (Q2194110) (← links)
• The intensional side of algebraic-topological representation theorems (Q2695032) (← links)
• PROOF ANALYSIS FOR LEWIS COUNTERFACTUALS (Q2804473) (← links)
• Inducing Syntactic Cut-Elimination for Indexed Nested Sequents (Q2817941) (← links)
• Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi (Q2835880) (← links)
• Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)
• On Relating Theories: Proof-Theoretical Reduction (Q3305638) (← links)
• Invited Talk: Coherentisation of First-Order Logic (Q3455757) (← links)
• Geometric Rules in Infinitary Logic (Q5020172) (← links)
• From mathematical axioms to mathematical rules of proof: recent developments in proof analysis (Q5204802) (← links)
• Mechanising Gödel-Löb provability logic in HOL light (Q6050769) (← links)
• Automated generation of illustrated proofs in geometry and beyond (Q6185789) (← links)