FRINK Linked Data Fragments server

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

• W2024340229 abstract "This paper introduces sequent systems for Visser's two propositional logics: Basic Propositional Logic (BPL) and Formal Propositional Logic (FPL). It is shown through semantical completeness that the cut rule is admissible in each system. The relationships with Hilbert-style axiomatizations and with other sequent formulations are discussed. The cut-elimination theorems are also demonstrated by syntactical methods." @default.
• W2024340229 created "2016-06-24" @default.
• W2024340229 creator A5019550945 @default.
• W2024340229 creator A5051660731 @default.
• W2024340229 creator A5076394068 @default.
• W2024340229 date "2001-01-01" @default.
• W2024340229 modified "2023-09-28" @default.
• W2024340229 title "Sequent Calculi for Visser's Propositional Logics" @default.
• W2024340229 cites W1540397322 @default.
• W2024340229 cites W2058973858 @default.
• W2024340229 cites W2067332512 @default.
• W2024340229 cites W2070878538 @default.
• W2024340229 cites W2086177561 @default.
• W2024340229 doi "https://doi.org/10.1305/ndjfl/1054301352" @default.
• W2024340229 hasPublicationYear "2001" @default.
• W2024340229 type Work @default.
• W2024340229 sameAs 2024340229 @default.
• W2024340229 citedByCount "8" @default.
• W2024340229 countsByYear W20243402292015 @default.
• W2024340229 countsByYear W20243402292016 @default.
• W2024340229 countsByYear W20243402292017 @default.
• W2024340229 crossrefType "journal-article" @default.
• W2024340229 hasAuthorship W2024340229A5019550945 @default.
• W2024340229 hasAuthorship W2024340229A5051660731 @default.
• W2024340229 hasAuthorship W2024340229A5076394068 @default.
• W2024340229 hasBestOaLocation W20243402291 @default.
• W2024340229 hasConcept C102993220 @default.
• W2024340229 hasConcept C108710211 @default.
• W2024340229 hasConcept C110039528 @default.
• W2024340229 hasConcept C118615104 @default.
• W2024340229 hasConcept C134306372 @default.
• W2024340229 hasConcept C14523651 @default.
• W2024340229 hasConcept C154945302 @default.
• W2024340229 hasConcept C17231256 @default.
• W2024340229 hasConcept C178421362 @default.
• W2024340229 hasConcept C191222856 @default.
• W2024340229 hasConcept C199343813 @default.
• W2024340229 hasConcept C199360897 @default.
• W2024340229 hasConcept C203659156 @default.
• W2024340229 hasConcept C2524010 @default.
• W2024340229 hasConcept C2777686260 @default.
• W2024340229 hasConcept C33203268 @default.
• W2024340229 hasConcept C33923547 @default.
• W2024340229 hasConcept C41008148 @default.
• W2024340229 hasConcept C42011625 @default.
• W2024340229 hasConcept C5263885 @default.
• W2024340229 hasConcept C58166 @default.
• W2024340229 hasConcept C62073222 @default.
• W2024340229 hasConcept C65880906 @default.
• W2024340229 hasConcept C69562738 @default.
• W2024340229 hasConcept C71924100 @default.
• W2024340229 hasConcept C74640108 @default.
• W2024340229 hasConcept C86602344 @default.
• W2024340229 hasConcept C89421646 @default.
• W2024340229 hasConceptScore W2024340229C102993220 @default.
• W2024340229 hasConceptScore W2024340229C108710211 @default.
• W2024340229 hasConceptScore W2024340229C110039528 @default.
• W2024340229 hasConceptScore W2024340229C118615104 @default.
• W2024340229 hasConceptScore W2024340229C134306372 @default.
• W2024340229 hasConceptScore W2024340229C14523651 @default.
• W2024340229 hasConceptScore W2024340229C154945302 @default.
• W2024340229 hasConceptScore W2024340229C17231256 @default.
• W2024340229 hasConceptScore W2024340229C178421362 @default.
• W2024340229 hasConceptScore W2024340229C191222856 @default.
• W2024340229 hasConceptScore W2024340229C199343813 @default.
• W2024340229 hasConceptScore W2024340229C199360897 @default.
• W2024340229 hasConceptScore W2024340229C203659156 @default.
• W2024340229 hasConceptScore W2024340229C2524010 @default.
• W2024340229 hasConceptScore W2024340229C2777686260 @default.
• W2024340229 hasConceptScore W2024340229C33203268 @default.
• W2024340229 hasConceptScore W2024340229C33923547 @default.
• W2024340229 hasConceptScore W2024340229C41008148 @default.
• W2024340229 hasConceptScore W2024340229C42011625 @default.
• W2024340229 hasConceptScore W2024340229C5263885 @default.
• W2024340229 hasConceptScore W2024340229C58166 @default.
• W2024340229 hasConceptScore W2024340229C62073222 @default.
• W2024340229 hasConceptScore W2024340229C65880906 @default.
• W2024340229 hasConceptScore W2024340229C69562738 @default.
• W2024340229 hasConceptScore W2024340229C71924100 @default.
• W2024340229 hasConceptScore W2024340229C74640108 @default.
• W2024340229 hasConceptScore W2024340229C86602344 @default.
• W2024340229 hasConceptScore W2024340229C89421646 @default.
• W2024340229 hasLocation W20243402291 @default.
• W2024340229 hasLocation W20243402292 @default.
• W2024340229 hasOpenAccess W2024340229 @default.
• W2024340229 hasPrimaryLocation W20243402291 @default.
• W2024340229 hasRelatedWork W1490031414 @default.
• W2024340229 hasRelatedWork W1524928381 @default.
• W2024340229 hasRelatedWork W1526548725 @default.
• W2024340229 hasRelatedWork W1540397322 @default.
• W2024340229 hasRelatedWork W2009245220 @default.
• W2024340229 hasRelatedWork W2037897039 @default.
• W2024340229 hasRelatedWork W2048214306 @default.
• W2024340229 hasRelatedWork W2055558461 @default.
• W2024340229 hasRelatedWork W2069357662 @default.
• W2024340229 hasRelatedWork W2070878538 @default.
• W2024340229 hasRelatedWork W2074901796 @default.
• W2024340229 hasRelatedWork W2143833769 @default.
• W2024340229 hasRelatedWork W2515503808 @default.
• W2024340229 hasRelatedWork W2944994753 @default.

• next