Truth-maker semantics for intuitionistic logic
From MaRDI portal
Publication:484121
DOI10.1007/S10992-013-9281-7zbMATH Open1335.03011OpenAlexW2085342194MaRDI QIDQ484121FDOQ484121
Authors: Kit Fine 
Publication date: 18 December 2014
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-013-9281-7
Recommendations
- Truthmaker semantics for relevant logic
- scientific article; zbMATH DE number 5235522
- Intuitionistic Trilattice Logics
- scientific article; zbMATH DE number 7085122
- scientific article; zbMATH DE number 1390272
- A new semantics for intuitionistic predicate logic
- Intuitionistic truth
- scientific article; zbMATH DE number 2121570
- scientific article; zbMATH DE number 1028819
- scientific article; zbMATH DE number 1749196
Philosophical and critical aspects of logic and foundations (03A05) Subsystems of classical logic (including intuitionistic logic) (03B20)
Cites Work
- Constructivism in mathematics. An introduction. Volume I
- Title not available (Why is that?)
- Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
- An intuitiomstic completeness theorem for intuitionistic predicate logic
- Title not available (Why is that?)
- On A neglected path to intuitionism
- Title not available (Why is that?)
Cited In (49)
- Truthmaker semantics for relevant logic
- Free choice reasons
- Belief base: a minimal logic of fine-grained information dynamics
- Facts, semantics and intuitionism
- A state-of-affairs-semantic solution to the problem of extensionality in free logic
- On A neglected path to intuitionism
- Pure logic of many-many ground
- New powers for dispositionalism
- Constructive agents
- A semantic hierarchy for intuitionistic logic
- Title not available (Why is that?)
- Towards a semantics based on the notion of justification
- Title not available (Why is that?)
- Angellic content
- Truthier than thou: truth, supertruth and probability of truth
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
- Some obstacles facing a semantic foundation for constructive mathematics
- Disjunction and negation in information based semantics
- Avoiding impossibility theorems in radical inquisitive semantics
- A characteristic frame for positive intuitionistic and relevance logic
- Epistemic semantics for classical and intuitionistic logic
- Logics and falsifications. A new perspective on constructivist semantics
- Observations on the trivial world
- Compliance and command. I: Categorical imperatives
- Title not available (Why is that?)
- Title not available (Why is that?)
- Inquisitive logic as an epistemic logic of knowing how
- Verisimilitude and truthmaking
- A simple sequent calculus for Angell's logic of analytic containment
- A theory of truthmaker content. II: Subject-matter, common content, remainder and ground
- \(\in_I\): an intuitionistic logic without Fregean axiom and with predicates for truth and falsity
- Supervenience, dependence, disjunction
- On weak ground
- Pragmatic interpretations of vague expressions: strongest meaning and nonmonotonic consequence
- On the logic of factual equivalence
- Verificationism and Classical Realizability
- Hypo. A simple constructive semantics for intuitionistic sentential logic, soundness and completeness
- The laws of thought and the laws of truth as two sides of one coin
- A theory of truthmaker content. I: Conjunction, disjunction and negation
- Towards a theory of ground-theoretic content
- Reference and perspective in intuitionistic logics
- A reinterpretation of the semilattice semantics with applications
- Hyperintensional logics for everyone
- THE SEMANTIC FOUNDATIONS OF PHILOSOPHICAL ANALYSIS
- Tense logics over lattices
- Talking about knowledge
- Exact truthmaker semantics for modal logics
- A reinterpretation of Beall's `off-topic' semantics
- SUBSTRUCTURAL INQUISITIVE LOGICS
This page was built for publication: Truth-maker semantics for intuitionistic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q484121)
