FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4328125640> ?p ?o ?g. }

• W4328125640 endingPage "79" @default.
• W4328125640 startingPage "36" @default.
• W4328125640 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.
• W4328125640 created "2023-03-22" @default.
• W4328125640 creator A5088813725 @default.
• W4328125640 date "2023-03-21" @default.
• W4328125640 modified "2023-10-05" @default.
• W4328125640 title "A Fundamental Non-Classical Logic" @default.
• W4328125640 cites W1506120207 @default.
• W4328125640 cites W1508875804 @default.
• W4328125640 cites W1547615865 @default.
• W4328125640 cites W1568501149 @default.
• W4328125640 cites W1865059528 @default.
• W4328125640 cites W1980795965 @default.
• W4328125640 cites W1987839131 @default.
• W4328125640 cites W1989314289 @default.
• W4328125640 cites W1989423435 @default.
• W4328125640 cites W1998549149 @default.
• W4328125640 cites W2010955104 @default.
• W4328125640 cites W2011700761 @default.
• W4328125640 cites W2018202519 @default.
• W4328125640 cites W2029827212 @default.
• W4328125640 cites W2033303007 @default.
• W4328125640 cites W2034981868 @default.
• W4328125640 cites W2036869460 @default.
• W4328125640 cites W2039977878 @default.
• W4328125640 cites W2055247079 @default.
• W4328125640 cites W2058080516 @default.
• W4328125640 cites W2060278975 @default.
• W4328125640 cites W2060849503 @default.
• W4328125640 cites W2070878538 @default.
• W4328125640 cites W2075776012 @default.
• W4328125640 cites W2084684966 @default.
• W4328125640 cites W2085335923 @default.
• W4328125640 cites W2108408993 @default.
• W4328125640 cites W2112576833 @default.
• W4328125640 cites W2118313805 @default.
• W4328125640 cites W2136484324 @default.
• W4328125640 cites W2320156170 @default.
• W4328125640 cites W2331382175 @default.
• W4328125640 cites W2593646838 @default.
• W4328125640 cites W2768154882 @default.
• W4328125640 cites W2888854719 @default.
• W4328125640 cites W2892215877 @default.
• W4328125640 cites W2936357383 @default.
• W4328125640 cites W3005831183 @default.
• W4328125640 cites W3122100486 @default.
• W4328125640 cites W3122884908 @default.
• W4328125640 cites W3126996113 @default.
• W4328125640 cites W37388086 @default.
• W4328125640 cites W4211144022 @default.
• W4328125640 cites W4213168723 @default.
• W4328125640 cites W4229616141 @default.
• W4328125640 cites W4233580922 @default.
• W4328125640 cites W4234216897 @default.
• W4328125640 cites W4244377887 @default.
• W4328125640 cites W4245289004 @default.
• W4328125640 cites W4246432294 @default.
• W4328125640 cites W4248743978 @default.
• W4328125640 cites W4253795631 @default.
• W4328125640 cites W4293176479 @default.
• W4328125640 cites W4295337145 @default.
• W4328125640 cites W4297920739 @default.
• W4328125640 cites W4302063791 @default.
• W4328125640 cites W4310869896 @default.
• W4328125640 cites W4318275221 @default.
• W4328125640 cites W4376848384 @default.
• W4328125640 cites W98985150 @default.
• W4328125640 doi "https://doi.org/10.3390/logics1010004" @default.
• W4328125640 hasPublicationYear "2023" @default.
• W4328125640 type Work @default.
• W4328125640 citedByCount "1" @default.
• W4328125640 crossrefType "journal-article" @default.
• W4328125640 hasAuthorship W4328125640A5088813725 @default.
• W4328125640 hasBestOaLocation W43281256401 @default.
• W4328125640 hasConcept C102993220 @default.
• W4328125640 hasConcept C118615104 @default.
• W4328125640 hasConcept C121649496 @default.
• W4328125640 hasConcept C150889026 @default.
• W4328125640 hasConcept C16796852 @default.
• W4328125640 hasConcept C169896238 @default.
• W4328125640 hasConcept C178421362 @default.
• W4328125640 hasConcept C19689857 @default.
• W4328125640 hasConcept C199360897 @default.
• W4328125640 hasConcept C203659156 @default.
• W4328125640 hasConcept C2039508 @default.
• W4328125640 hasConcept C2185349 @default.
• W4328125640 hasConcept C2524010 @default.
• W4328125640 hasConcept C2779696439 @default.
• W4328125640 hasConcept C32241873 @default.
• W4328125640 hasConcept C33203268 @default.
• W4328125640 hasConcept C33923547 @default.
• W4328125640 hasConcept C3845977 @default.
• W4328125640 hasConcept C41008148 @default.
• W4328125640 hasConcept C527412718 @default.
• W4328125640 hasConcept C69562738 @default.
• W4328125640 hasConcept C80444323 @default.
• W4328125640 hasConceptScore W4328125640C102993220 @default.
• W4328125640 hasConceptScore W4328125640C118615104 @default.
• W4328125640 hasConceptScore W4328125640C121649496 @default.

• next