Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297907663> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W4297907663 abstract "We introduce a proper display calculus for (non-distributive) Lattice Logic which is sound, complete, conservative, and enjoys cut-elimination and sub-formula property. Properness (i.e. closure under uniform substitution of all parametric parts in rules) is the main interest and added value of the present proposal, and allows for the smoothest Belnap-style proof of cut-elimination. Our proposal builds on an algebraic and order-theoretic analysis of the semantic environment of lattice logic, and applies the guidelines of the multi-type methodology in the design of display calculi." @default.
- W4297907663 created "2022-10-01" @default.
- W4297907663 creator A5047149000 @default.
- W4297907663 creator A5053364957 @default.
- W4297907663 date "2016-12-18" @default.
- W4297907663 modified "2023-09-28" @default.
- W4297907663 title "Lattice Logic Properly Displayed" @default.
- W4297907663 doi "https://doi.org/10.48550/arxiv.1612.05930" @default.
- W4297907663 hasPublicationYear "2016" @default.
- W4297907663 type Work @default.
- W4297907663 citedByCount "0" @default.
- W4297907663 crossrefType "posted-content" @default.
- W4297907663 hasAuthorship W4297907663A5047149000 @default.
- W4297907663 hasAuthorship W4297907663A5053364957 @default.
- W4297907663 hasBestOaLocation W42979076631 @default.
- W4297907663 hasConcept C105795698 @default.
- W4297907663 hasConcept C11413529 @default.
- W4297907663 hasConcept C117251300 @default.
- W4297907663 hasConcept C11821877 @default.
- W4297907663 hasConcept C118615104 @default.
- W4297907663 hasConcept C121332964 @default.
- W4297907663 hasConcept C136119220 @default.
- W4297907663 hasConcept C183992945 @default.
- W4297907663 hasConcept C192606457 @default.
- W4297907663 hasConcept C199343813 @default.
- W4297907663 hasConcept C201640847 @default.
- W4297907663 hasConcept C202444582 @default.
- W4297907663 hasConcept C24890656 @default.
- W4297907663 hasConcept C2777686260 @default.
- W4297907663 hasConcept C2781204021 @default.
- W4297907663 hasConcept C33923547 @default.
- W4297907663 hasConcept C41008148 @default.
- W4297907663 hasConcept C62520636 @default.
- W4297907663 hasConcept C71924100 @default.
- W4297907663 hasConceptScore W4297907663C105795698 @default.
- W4297907663 hasConceptScore W4297907663C11413529 @default.
- W4297907663 hasConceptScore W4297907663C117251300 @default.
- W4297907663 hasConceptScore W4297907663C11821877 @default.
- W4297907663 hasConceptScore W4297907663C118615104 @default.
- W4297907663 hasConceptScore W4297907663C121332964 @default.
- W4297907663 hasConceptScore W4297907663C136119220 @default.
- W4297907663 hasConceptScore W4297907663C183992945 @default.
- W4297907663 hasConceptScore W4297907663C192606457 @default.
- W4297907663 hasConceptScore W4297907663C199343813 @default.
- W4297907663 hasConceptScore W4297907663C201640847 @default.
- W4297907663 hasConceptScore W4297907663C202444582 @default.
- W4297907663 hasConceptScore W4297907663C24890656 @default.
- W4297907663 hasConceptScore W4297907663C2777686260 @default.
- W4297907663 hasConceptScore W4297907663C2781204021 @default.
- W4297907663 hasConceptScore W4297907663C33923547 @default.
- W4297907663 hasConceptScore W4297907663C41008148 @default.
- W4297907663 hasConceptScore W4297907663C62520636 @default.
- W4297907663 hasConceptScore W4297907663C71924100 @default.
- W4297907663 hasLocation W42979076631 @default.
- W4297907663 hasOpenAccess W4297907663 @default.
- W4297907663 hasPrimaryLocation W42979076631 @default.
- W4297907663 hasRelatedWork W1551309398 @default.
- W4297907663 hasRelatedWork W1786892660 @default.
- W4297907663 hasRelatedWork W1974309644 @default.
- W4297907663 hasRelatedWork W2054929508 @default.
- W4297907663 hasRelatedWork W2065004139 @default.
- W4297907663 hasRelatedWork W2126448176 @default.
- W4297907663 hasRelatedWork W2227741910 @default.
- W4297907663 hasRelatedWork W2280679128 @default.
- W4297907663 hasRelatedWork W2369794842 @default.
- W4297907663 hasRelatedWork W866104634 @default.
- W4297907663 isParatext "false" @default.
- W4297907663 isRetracted "false" @default.
- W4297907663 workType "article" @default.