Matches in SemOpenAlex for { <https://semopenalex.org/work/W4226324271> ?p ?o ?g. }
- W4226324271 endingPage "474" @default.
- W4226324271 startingPage "441" @default.
- W4226324271 abstract "Abstract Two algebraic structures, the contrapositionally complemented Heyting algebra (ccHa) and the contrapositionally $vee $ complemented Heyting algebra (c$vee $cHa), are studied. The salient feature of these algebras is that there are two negations, one intuitionistic and another minimal in nature, along with a condition connecting the two operators. Properties of these algebras are discussed, examples are given and comparisons are made with relevant algebras. Intuitionistic Logic with Minimal Negation (ILM) corresponding to ccHas and its extension ${textrm {ILM}}$-${vee }$ for c$vee $cHas are then investigated. Besides its relations with intuitionistic and minimal logics, ILM is observed to be related to Peirce’s logic and Vakarelov’s logic MIN. With a focus on properties of the two negations, relational semantics for ILM and ${textrm {ILM}}$-${vee }$ are obtained with respect to four classes of frames, and inter-translations between the classes preserving truth and validity are provided. ILM and ${textrm {ILM}}$-${vee }$ are shown to have the finite model property with respect to these classes of frames and proved to be decidable. Extracting features of the two negations in the algebras, a further investigation is made, following logical studies of negations that define the operators independently of the binary operator of implication. Using Dunn’s logical framework for the purpose, two logics $K_{im}$ and $K_{im-{vee }}$ are discussed, where the language does not include implication. The $K_{im}$-algebras are reducts of ccHas and are different from relevant algebraic structures having two negations. The negations in the $K_{im}$-algebras and $K_{im-{vee }}$-algebras are shown to occupy distinct positions in an enhanced form of Dunn’s kite of negations. Relational semantics for $K_{im}$ and $K_{im-{vee }}$ is provided by a class of frames that are based on Dunn’s compatibility frames. It is observed that this class coincides with one of the four classes giving the relational semantics for ILM and ${textrm {ILM}}$-${vee }$." @default.
- W4226324271 created "2022-05-05" @default.
- W4226324271 creator A5042323062 @default.
- W4226324271 creator A5046102840 @default.
- W4226324271 date "2022-04-06" @default.
- W4226324271 modified "2023-09-30" @default.
- W4226324271 title "Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation" @default.
- W4226324271 cites W1028909502 @default.
- W4226324271 cites W10948657 @default.
- W4226324271 cites W109748967 @default.
- W4226324271 cites W125654268 @default.
- W4226324271 cites W1505344996 @default.
- W4226324271 cites W1555263082 @default.
- W4226324271 cites W1699512023 @default.
- W4226324271 cites W1998423879 @default.
- W4226324271 cites W2007838222 @default.
- W4226324271 cites W2012254684 @default.
- W4226324271 cites W2012457462 @default.
- W4226324271 cites W2043835012 @default.
- W4226324271 cites W2058080516 @default.
- W4226324271 cites W2058396072 @default.
- W4226324271 cites W2067638902 @default.
- W4226324271 cites W2074503372 @default.
- W4226324271 cites W2075277371 @default.
- W4226324271 cites W2077235110 @default.
- W4226324271 cites W2078212736 @default.
- W4226324271 cites W2093397547 @default.
- W4226324271 cites W2122458631 @default.
- W4226324271 cites W2122478249 @default.
- W4226324271 cites W2133333359 @default.
- W4226324271 cites W2331382175 @default.
- W4226324271 cites W2498884472 @default.
- W4226324271 cites W2561113363 @default.
- W4226324271 cites W2892215877 @default.
- W4226324271 cites W2914809917 @default.
- W4226324271 cites W2984612608 @default.
- W4226324271 cites W4213290992 @default.
- W4226324271 cites W4255833381 @default.
- W4226324271 cites W4297918568 @default.
- W4226324271 cites W623458071 @default.
- W4226324271 cites W87187940 @default.
- W4226324271 cites W889431080 @default.
- W4226324271 doi "https://doi.org/10.1093/jigpal/jzac041" @default.
- W4226324271 hasPublicationYear "2022" @default.
- W4226324271 type Work @default.
- W4226324271 citedByCount "0" @default.
- W4226324271 crossrefType "journal-article" @default.
- W4226324271 hasAuthorship W4226324271A5042323062 @default.
- W4226324271 hasAuthorship W4226324271A5046102840 @default.
- W4226324271 hasConcept C102993220 @default.
- W4226324271 hasConcept C118615104 @default.
- W4226324271 hasConcept C134306372 @default.
- W4226324271 hasConcept C136119220 @default.
- W4226324271 hasConcept C160131679 @default.
- W4226324271 hasConcept C178421362 @default.
- W4226324271 hasConcept C187062830 @default.
- W4226324271 hasConcept C199360897 @default.
- W4226324271 hasConcept C202444582 @default.
- W4226324271 hasConcept C2185349 @default.
- W4226324271 hasConcept C2779729104 @default.
- W4226324271 hasConcept C33203268 @default.
- W4226324271 hasConcept C33923547 @default.
- W4226324271 hasConcept C41008148 @default.
- W4226324271 hasConcept C69562738 @default.
- W4226324271 hasConcept C9376300 @default.
- W4226324271 hasConceptScore W4226324271C102993220 @default.
- W4226324271 hasConceptScore W4226324271C118615104 @default.
- W4226324271 hasConceptScore W4226324271C134306372 @default.
- W4226324271 hasConceptScore W4226324271C136119220 @default.
- W4226324271 hasConceptScore W4226324271C160131679 @default.
- W4226324271 hasConceptScore W4226324271C178421362 @default.
- W4226324271 hasConceptScore W4226324271C187062830 @default.
- W4226324271 hasConceptScore W4226324271C199360897 @default.
- W4226324271 hasConceptScore W4226324271C202444582 @default.
- W4226324271 hasConceptScore W4226324271C2185349 @default.
- W4226324271 hasConceptScore W4226324271C2779729104 @default.
- W4226324271 hasConceptScore W4226324271C33203268 @default.
- W4226324271 hasConceptScore W4226324271C33923547 @default.
- W4226324271 hasConceptScore W4226324271C41008148 @default.
- W4226324271 hasConceptScore W4226324271C69562738 @default.
- W4226324271 hasConceptScore W4226324271C9376300 @default.
- W4226324271 hasIssue "3" @default.
- W4226324271 hasLocation W42263242711 @default.
- W4226324271 hasOpenAccess W4226324271 @default.
- W4226324271 hasPrimaryLocation W42263242711 @default.
- W4226324271 hasRelatedWork W2295123434 @default.
- W4226324271 hasRelatedWork W2965954882 @default.
- W4226324271 hasRelatedWork W3030011612 @default.
- W4226324271 hasRelatedWork W3094740951 @default.
- W4226324271 hasRelatedWork W4226324271 @default.
- W4226324271 hasRelatedWork W4287628259 @default.
- W4226324271 hasRelatedWork W4288266142 @default.
- W4226324271 hasRelatedWork W4308612419 @default.
- W4226324271 hasRelatedWork W4316038696 @default.
- W4226324271 hasRelatedWork W2004198593 @default.
- W4226324271 hasVolume "31" @default.
- W4226324271 isParatext "false" @default.
- W4226324271 isRetracted "false" @default.