The following pages link to The Review of Symbolic Logic (Q2804470):
Displaying 50 items.
- FROM STENIUS’ CONSISTENCY PROOF TO SCHÜTTE’S CUT ELIMINATION FOR <i>ω</i>-ARITHMETIC (Q2804471) (← links)
- INFORMAL PROOF, FORMAL PROOF, FORMALISM (Q2804472) (← links)
- PROOF ANALYSIS FOR LEWIS COUNTERFACTUALS (Q2804473) (← links)
- APPROPRIATE CAUSAL MODELS AND THE STABILITY OF CAUSATION (Q2804474) (← links)
- ON THE LOGIC OF FACTUAL EQUIVALENCE (Q2804475) (← links)
- PROPOSITIONAL CONTINGENTISM (Q2804476) (← links)
- THE RELEVANT FRAGMENT OF FIRST ORDER LOGIC (Q2804477) (← links)
- REFLEXIVE-INSENSITIVE MODAL LOGICS (Q2804478) (← links)
- INDICATIVE CONDITIONALS, RESTRICTED QUANTIFICATION, AND NAIVE TRUTH (Q2804479) (← links)
- INTRODUCTION (Q2845101) (← links)
- NON-WELLFOUNDED MEREOLOGY (Q2890693) (← links)
- NORMAL DERIVABILITY IN CLASSICAL NATURAL DEDUCTION (Q2890694) (← links)
- VALENTINI’S CUT-ELIMINATION FOR PROVABILITY LOGIC RESOLVED (Q2890695) (← links)
- COMPLETENESS RESULTS FOR SOME TWO-DIMENSIONAL LOGICS OF ACTUALITY (Q2890696) (← links)
- TRANSITIVITY AND INTRANSITIVITY IN EVIDENTIAL SUPPORT: SOME FURTHER RESULTS (Q2890697) (← links)
- TRANSFINITE CARDINALS IN PARACONSISTENT SET THEORY (Q2890698) (← links)
- ON THE RELATIONSHIP BETWEEN PLANE AND SOLID GEOMETRY (Q2890699) (← links)
- CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH (Q2890700) (← links)
- AN “<i>i</i>” FOR AN<i>i</i>: SINGULAR TERMS, UNIQUENESS, AND REFERENCE (Q2919944) (← links)
- THE SET-THEORETIC MULTIVERSE (Q2919945) (← links)
- CUT FOR CORE LOGIC (Q2919946) (← links)
- ON ONTOLOGY AND REALISM IN MATHEMATICS (Q2919947) (← links)
- SOME OBSERVATIONS ON TRUTH HIERARCHIES (Q2940864) (← links)
- LOGICAL GROUNDS (Q2940865) (← links)
- ON FLATTENING ELIMINATION RULES (Q2940866) (← links)
- AXIOMS FOR GROUNDED TRUTH (Q2940867) (← links)
- LOGICISM, INTERPRETABILITY, AND KNOWLEDGE OF ARITHMETIC (Q2940868) (← links)
- THE QUANTIFIED ARGUMENT CALCULUS (Q2940869) (← links)
- NAIVE TRUTH AND RESTRICTED QUANTIFICATION: SAVING TRUTH A WHOLE LOT BETTER (Q2940870) (← links)
- ABSOLUTE CONTRADICTION, DIALETHEISM, AND REVENGE (Q2940871) (← links)
- THE EXPRESSIVITY OF FACTUAL CHANGE IN DYNAMIC EPISTEMIC LOGIC (Q2940872) (← links)
- A SECOND PHILOSOPHY OF ARITHMETIC (Q2940873) (← links)
- BILATERAL RELEVANT LOGIC (Q2940874) (← links)
- MODALITY AND AXIOMATIC THEORIES OF TRUTH I: FRIEDMAN-SHEARD (Q2940875) (← links)
- MODALITY AND AXIOMATIC THEORIES OF TRUTH II: KRIPKE-FEFERMAN (Q2940876) (← links)
- TRUTH AND SPEED-UP (Q2940877) (← links)
- EXPRESSIVE LIMITATIONS OF NAÏVE SET THEORY IN LP AND MINIMALLY INCONSISTENT LP. (Q2940879) (← links)
- NAIVE TRUTH AND NAIVE LOGICAL PROPERTIES (Q2940880) (← links)
- WHAT IS THE CORRECT LOGIC OF NECESSITY, ACTUALITY AND APRIORITY? (Q2940881) (← links)
- PLACING PROBABILITIES OF CONDITIONALS IN CONTEXT (Q2940882) (← links)
- QUANTIFIED MODAL LOGIC ON THE RATIONAL LINE (Q2940883) (← links)
- UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS (Q2940884) (← links)
- A MACHINE-ASSISTED PROOF OF GÖDEL’S INCOMPLETENESS THEOREMS FOR THE THEORY OF HEREDITARILY FINITE SETS (Q2940885) (← links)
- HARMONIOUS RULES FOR IDENTITY (Q2940886) (← links)
- INCOHERENCE AND INCONSISTENCY (Q2940887) (← links)
- TOTAL LOGIC (Q2940889) (← links)
- ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY (Q2940892) (← links)
- STRUCTURAL PROPERTIES OF QUALITATIVE AND QUANTITATIVE ACCOUNTS TO COHERENCE (Q2940893) (← links)
- CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS (Q3005995) (← links)
- A SEQUENT CALCULUS ISOMORPHIC TO GENTZEN’S NATURAL DEDUCTION (Q3005996) (← links)
