Truth-maker semantics for intuitionistic logic
From MaRDI portal
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
Cites work
- scientific article; zbMATH DE number 3222098 (Why is no real title available?)
- scientific article; zbMATH DE number 3264054 (Why is no real title available?)
- scientific article; zbMATH DE number 2229036 (Why is no real title available?)
- An intuitiomstic completeness theorem for intuitionistic predicate logic
- Constructivism in mathematics. An introduction. Volume I
- Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
- On A neglected path to intuitionism
Cited in
(49)- A reinterpretation of Beall's `off-topic' semantics
- \(\in_I\): an intuitionistic logic without Fregean axiom and with predicates for truth and falsity
- scientific article; zbMATH DE number 2101972 (Why is no real title available?)
- Towards a semantics based on the notion of justification
- Verificationism and Classical Realizability
- Facts, semantics and intuitionism
- Compliance and command. I: Categorical imperatives
- Supervenience, dependence, disjunction
- THE SEMANTIC FOUNDATIONS OF PHILOSOPHICAL ANALYSIS
- Observations on the trivial world
- Pragmatic interpretations of vague expressions: strongest meaning and nonmonotonic consequence
- Hypo. A simple constructive semantics for intuitionistic sentential logic, soundness and completeness
- Talking about knowledge
- SUBSTRUCTURAL INQUISITIVE LOGICS
- A state-of-affairs-semantic solution to the problem of extensionality in free logic
- A theory of truthmaker content. I: Conjunction, disjunction and negation
- Angellic content
- Exact truthmaker semantics for modal logics
- The laws of thought and the laws of truth as two sides of one coin
- Pure logic of many-many ground
- Towards a theory of ground-theoretic content
- New powers for dispositionalism
- Verisimilitude and truthmaking
- Avoiding impossibility theorems in radical inquisitive semantics
- Reference and perspective in intuitionistic logics
- scientific article; zbMATH DE number 1463256 (Why is no real title available?)
- Tense logics over lattices
- A characteristic frame for positive intuitionistic and relevance logic
- A simple sequent calculus for Angell's logic of analytic containment
- Truthmaker semantics for relevant logic
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
- Inquisitive logic as an epistemic logic of knowing how
- A theory of truthmaker content. II: Subject-matter, common content, remainder and ground
- scientific article; zbMATH DE number 2121570 (Why is no real title available?)
- Epistemic semantics for classical and intuitionistic logic
- Constructive agents
- Some obstacles facing a semantic foundation for constructive mathematics
- scientific article; zbMATH DE number 5235522 (Why is no real title available?)
- On the logic of factual equivalence
- On weak ground
- Logics and falsifications. A new perspective on constructivist semantics
- On A neglected path to intuitionism
- Free choice reasons
- A reinterpretation of the semilattice semantics with applications
- A semantic hierarchy for intuitionistic logic
- Truthier than thou: truth, supertruth and probability of truth
- Disjunction and negation in information based semantics
- Hyperintensional logics for everyone
- Belief base: a minimal logic of fine-grained information dynamics
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)
