Matches in SemOpenAlex for { <https://semopenalex.org/work/W4385448685> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W4385448685 endingPage "31" @default.
- W4385448685 startingPage "20" @default.
- W4385448685 abstract "We provide a generalisation of Kripke semantics for Petr Hajek's Basic Logic and prove soundness and completeness of the same with respect to our semantics. We find this semantics easily specialises to the linearly-ordered Kripke frames for Godel-Dummett logic, which BL properly contains. Our soundness, deduction theorem and completeness arguments further strengthen this analogy. This paper extends the insights of our previous paper, A Kripke Semantics for Intuitionistic Lukasiewicz logic, to the case of Hajeks' BL." @default.
- W4385448685 created "2023-08-02" @default.
- W4385448685 creator A5049449934 @default.
- W4385448685 date "2023-08-07" @default.
- W4385448685 modified "2023-09-26" @default.
- W4385448685 title "A Kripke Semantics for Hajek's BL" @default.
- W4385448685 cites W1043660496 @default.
- W4385448685 cites W1551030425 @default.
- W4385448685 cites W157375909 @default.
- W4385448685 cites W2076019293 @default.
- W4385448685 cites W2082093772 @default.
- W4385448685 cites W2083395305 @default.
- W4385448685 cites W2167876084 @default.
- W4385448685 cites W2769407341 @default.
- W4385448685 cites W2947446894 @default.
- W4385448685 cites W3019035954 @default.
- W4385448685 cites W3175327018 @default.
- W4385448685 cites W4246378692 @default.
- W4385448685 doi "https://doi.org/10.4204/eptcs.381.4" @default.
- W4385448685 hasPublicationYear "2023" @default.
- W4385448685 type Work @default.
- W4385448685 citedByCount "0" @default.
- W4385448685 crossrefType "journal-article" @default.
- W4385448685 hasAuthorship W4385448685A5049449934 @default.
- W4385448685 hasBestOaLocation W43854486851 @default.
- W4385448685 hasConcept C102993220 @default.
- W4385448685 hasConcept C118615104 @default.
- W4385448685 hasConcept C134306372 @default.
- W4385448685 hasConcept C160131679 @default.
- W4385448685 hasConcept C161913894 @default.
- W4385448685 hasConcept C17231256 @default.
- W4385448685 hasConcept C178421362 @default.
- W4385448685 hasConcept C184337299 @default.
- W4385448685 hasConcept C199343813 @default.
- W4385448685 hasConcept C199360897 @default.
- W4385448685 hasConcept C200116569 @default.
- W4385448685 hasConcept C25016198 @default.
- W4385448685 hasConcept C2777686260 @default.
- W4385448685 hasConcept C28077239 @default.
- W4385448685 hasConcept C33203268 @default.
- W4385448685 hasConcept C33923547 @default.
- W4385448685 hasConcept C39920170 @default.
- W4385448685 hasConcept C41008148 @default.
- W4385448685 hasConcept C71924100 @default.
- W4385448685 hasConceptScore W4385448685C102993220 @default.
- W4385448685 hasConceptScore W4385448685C118615104 @default.
- W4385448685 hasConceptScore W4385448685C134306372 @default.
- W4385448685 hasConceptScore W4385448685C160131679 @default.
- W4385448685 hasConceptScore W4385448685C161913894 @default.
- W4385448685 hasConceptScore W4385448685C17231256 @default.
- W4385448685 hasConceptScore W4385448685C178421362 @default.
- W4385448685 hasConceptScore W4385448685C184337299 @default.
- W4385448685 hasConceptScore W4385448685C199343813 @default.
- W4385448685 hasConceptScore W4385448685C199360897 @default.
- W4385448685 hasConceptScore W4385448685C200116569 @default.
- W4385448685 hasConceptScore W4385448685C25016198 @default.
- W4385448685 hasConceptScore W4385448685C2777686260 @default.
- W4385448685 hasConceptScore W4385448685C28077239 @default.
- W4385448685 hasConceptScore W4385448685C33203268 @default.
- W4385448685 hasConceptScore W4385448685C33923547 @default.
- W4385448685 hasConceptScore W4385448685C39920170 @default.
- W4385448685 hasConceptScore W4385448685C41008148 @default.
- W4385448685 hasConceptScore W4385448685C71924100 @default.
- W4385448685 hasLocation W43854486851 @default.
- W4385448685 hasOpenAccess W4385448685 @default.
- W4385448685 hasPrimaryLocation W43854486851 @default.
- W4385448685 hasRelatedWork W1500877097 @default.
- W4385448685 hasRelatedWork W2016979877 @default.
- W4385448685 hasRelatedWork W2112507467 @default.
- W4385448685 hasRelatedWork W2791039533 @default.
- W4385448685 hasRelatedWork W3092702765 @default.
- W4385448685 hasRelatedWork W4244885599 @default.
- W4385448685 hasRelatedWork W4297809224 @default.
- W4385448685 hasRelatedWork W4385448685 @default.
- W4385448685 hasRelatedWork W97218729 @default.
- W4385448685 hasRelatedWork W98463064 @default.
- W4385448685 hasVolume "381" @default.
- W4385448685 isParatext "false" @default.
- W4385448685 isRetracted "false" @default.
- W4385448685 workType "article" @default.