Pages that link to "Item:Q484121"
From MaRDI portal
The following pages link to Truth-maker semantics for intuitionistic logic (Q484121):
Displayed 32 items.
- Angellic content (Q288248) (← links)
- Pragmatic interpretations of vague expressions: strongest meaning and nonmonotonic consequence (Q496321) (← links)
- A state-of-affairs-semantic solution to the problem of extensionality in free logic (Q830394) (← links)
- A simple sequent calculus for Angell's logic of analytic containment (Q1685482) (← links)
- Constructive agents (Q1688949) (← links)
- A theory of truthmaker content. I: Conjunction, disjunction and negation (Q1696468) (← links)
- A theory of truthmaker content. II: Subject-matter, common content, remainder and ground (Q1696469) (← links)
- Towards a theory of ground-theoretic content (Q1709135) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- A reinterpretation of the semilattice semantics with applications (Q2045003) (← links)
- Observations on the trivial world (Q2051134) (← links)
- Disjunction and negation in information based semantics (Q2148806) (← links)
- Inquisitive logic as an epistemic logic of knowing how (Q2172829) (← links)
- Truthmaker semantics for relevant logic (Q2194111) (← links)
- Free choice reasons (Q2219154) (← links)
- A characteristic frame for positive intuitionistic and relevance logic (Q2243544) (← links)
- Pure logic of many-many ground (Q2397816) (← links)
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) (Q2421517) (← links)
- The laws of thought and the laws of truth as two sides of one coin (Q2686096) (← links)
- Hyperintensional logics for everyone (Q2693110) (← links)
- ON THE LOGIC OF FACTUAL EQUIVALENCE (Q2804475) (← links)
- Truthier Than Thou: Truth, Supertruth and Probability of Truth (Q2965392) (← links)
- Talking About Knowledge (Q3299839) (← links)
- Verificationism and Classical Realizability (Q3305313) (← links)
- COMPLIANCE AND COMMAND I—CATEGORICAL IMPERATIVES (Q4557163) (← links)
- ON WEAK GROUND (Q5176167) (← links)
- Avoiding Impossibility Theorems in Radical Inquisitive Semantics (Q5213657) (← links)
- Supervenience, Dependence, Disjunction (Q5215498) (← links)
- SUBSTRUCTURAL INQUISITIVE LOGICS (Q5381041) (← links)
- THE SEMANTIC FOUNDATIONS OF PHILOSOPHICAL ANALYSIS (Q6045104) (← links)
- Tense logics over lattices (Q6102994) (← links)
- New powers for dispositionalism (Q6142466) (← links)