Matches in SemOpenAlex for { <https://semopenalex.org/work/W4285595085> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W4285595085 abstract "We give a proof-theoretic as well as a semantic characterization of a logic in the signature with conjunction, disjunction, negation, and the universal and existential quantifiers that we suggest has a certain fundamental status. We present a Fitch-style natural deduction system for the logic that contains only the introduction and elimination rules for the logical constants. From this starting point, if one adds the rule that Fitch called Reiteration, one obtains a proof system for intuitionistic logic in the given signature; if instead of adding Reiteration, one adds the rule of Reductio ad Absurdum, one obtains a proof system for orthologic; by adding both Reiteration and Reductio, one obtains a proof system for classical logic. Arguably neither Reiteration nor Reductio is as intimately related to the meaning of the connectives as the introduction and elimination rules are, so the base logic we identify serves as a more fundamental starting point and common ground between proponents of intuitionistic logic, orthologic, and classical logic. The algebraic semantics for the logic we motivate proof-theoretically is based on bounded lattices equipped with what has been called a weak pseudocomplementation. We show that such lattice expansions are representable using a set together with a reflexive binary relation satisfying a simple first-order condition, which yields an elegant relational semantics for the logic. This builds on our previous study of representations of lattices with negations, which we extend and specialize for several types of negation in addition to weak pseudocomplementation. Finally, we discuss ways of extending these representations to lattices with a conditional or implication operation." @default.
- W4285595085 created "2022-07-16" @default.
- W4285595085 creator A5088813725 @default.
- W4285595085 date "2022-07-14" @default.
- W4285595085 modified "2023-09-23" @default.
- W4285595085 title "A fundamental non-classical logic" @default.
- W4285595085 doi "https://doi.org/10.48550/arxiv.2207.06993" @default.
- W4285595085 hasPublicationYear "2022" @default.
- W4285595085 type Work @default.
- W4285595085 citedByCount "0" @default.
- W4285595085 crossrefType "posted-content" @default.
- W4285595085 hasAuthorship W4285595085A5088813725 @default.
- W4285595085 hasBestOaLocation W42855950851 @default.
- W4285595085 hasConcept C102993220 @default.
- W4285595085 hasConcept C118615104 @default.
- W4285595085 hasConcept C121649496 @default.
- W4285595085 hasConcept C150889026 @default.
- W4285595085 hasConcept C16796852 @default.
- W4285595085 hasConcept C169896238 @default.
- W4285595085 hasConcept C178421362 @default.
- W4285595085 hasConcept C19689857 @default.
- W4285595085 hasConcept C199360897 @default.
- W4285595085 hasConcept C203659156 @default.
- W4285595085 hasConcept C2039508 @default.
- W4285595085 hasConcept C2185349 @default.
- W4285595085 hasConcept C32241873 @default.
- W4285595085 hasConcept C33203268 @default.
- W4285595085 hasConcept C33923547 @default.
- W4285595085 hasConcept C3845977 @default.
- W4285595085 hasConcept C41008148 @default.
- W4285595085 hasConcept C527412718 @default.
- W4285595085 hasConcept C69562738 @default.
- W4285595085 hasConcept C80444323 @default.
- W4285595085 hasConceptScore W4285595085C102993220 @default.
- W4285595085 hasConceptScore W4285595085C118615104 @default.
- W4285595085 hasConceptScore W4285595085C121649496 @default.
- W4285595085 hasConceptScore W4285595085C150889026 @default.
- W4285595085 hasConceptScore W4285595085C16796852 @default.
- W4285595085 hasConceptScore W4285595085C169896238 @default.
- W4285595085 hasConceptScore W4285595085C178421362 @default.
- W4285595085 hasConceptScore W4285595085C19689857 @default.
- W4285595085 hasConceptScore W4285595085C199360897 @default.
- W4285595085 hasConceptScore W4285595085C203659156 @default.
- W4285595085 hasConceptScore W4285595085C2039508 @default.
- W4285595085 hasConceptScore W4285595085C2185349 @default.
- W4285595085 hasConceptScore W4285595085C32241873 @default.
- W4285595085 hasConceptScore W4285595085C33203268 @default.
- W4285595085 hasConceptScore W4285595085C33923547 @default.
- W4285595085 hasConceptScore W4285595085C3845977 @default.
- W4285595085 hasConceptScore W4285595085C41008148 @default.
- W4285595085 hasConceptScore W4285595085C527412718 @default.
- W4285595085 hasConceptScore W4285595085C69562738 @default.
- W4285595085 hasConceptScore W4285595085C80444323 @default.
- W4285595085 hasLocation W42855950851 @default.
- W4285595085 hasOpenAccess W4285595085 @default.
- W4285595085 hasPrimaryLocation W42855950851 @default.
- W4285595085 hasRelatedWork W11378686 @default.
- W4285595085 hasRelatedWork W2022028240 @default.
- W4285595085 hasRelatedWork W2062110509 @default.
- W4285595085 hasRelatedWork W2090184124 @default.
- W4285595085 hasRelatedWork W2121616340 @default.
- W4285595085 hasRelatedWork W2952349401 @default.
- W4285595085 hasRelatedWork W3016207443 @default.
- W4285595085 hasRelatedWork W362162902 @default.
- W4285595085 hasRelatedWork W4285595085 @default.
- W4285595085 hasRelatedWork W91200808 @default.
- W4285595085 isParatext "false" @default.
- W4285595085 isRetracted "false" @default.
- W4285595085 workType "article" @default.