Pages that link to "Item:Q2254557"
From MaRDI portal
The following pages link to Proofs and countermodels in non-classical logics (Q2254557):
Displaying 25 items.
- Logic of negation-complete interactive proofs (formal theory of epistemic deciders) (Q276034) (← links)
- Intuitionistic games: determinacy, completeness, and normalization (Q332080) (← links)
- Non-classical logics, model theory, and computability. Proceedings of the 3rd Latin-American symposium on mathematical logic, Campinas, Brazil, July 11--17, 1976 (Q1234274) (← links)
- A conservative negation extension of positive semilattice logic without the finite model property (Q2021561) (← links)
- Proof-theoretic analysis of the logics of agency: the deliberative STIT (Q2046875) (← links)
- Cut-elimination for provability logic by terminating proof-search: formalised and deconstructed using Coq (Q2142084) (← links)
- Modular sequent calculi for classical modal logics (Q2350219) (← links)
- The intensional side of algebraic-topological representation theorems (Q2695032) (← links)
- Neutral free logic: motivation, proof theory and models (Q2698548) (← links)
- Geometrisation of first-order logic (Q2795295) (← links)
- Proof analysis for Lewis counterfactuals (Q2804473) (← links)
- The inverse method application for non-classical logics (Q2806784) (← links)
- Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)
- CUT AND GAMMA I: PROPOSITIONAL AND CONSTANT DOMAIN <b>R</b> (Q3389499) (← links)
- Proof Theory for Casari's Comparative Logics (Q3411997) (← links)
- A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics (Q3455765) (← links)
- (Q4264704) (← links)
- A proof-irrelevant model of Martin-Löf's logical framework (Q4405694) (← links)
- Geometric Rules in Infinitary Logic (Q5020172) (← links)
- Proofs and Models in Philosophical Logic (Q5021146) (← links)
- (Q5224887) (← links)
- (Q5283963) (← links)
- Mathematical Knowledge Management (Q5898514) (← links)
- Mechanising Gödel-Löb provability logic in HOL light (Q6050769) (← links)
- Decidable fragments of the quantified argument calculus (Q6638233) (← links)
