About: Algebraic semantics (mathematical logic)

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Formal semantics based on algebras

Property	Value
dbo:description	formal semantics based on algebras (en)
dbo:wikiPageExternalLink	https://www.jstor.org/stable/3094793 http://projecteuclid.org/euclid.lnl/1235416965
dbo:wikiPageWikiLink	dbr:Non-classical_logic dbr:Association_for_Symbolic_Logic dbr:Algebraic_logic dbr:Heyting_algebra dbr:Modal_logic dbr:Lindenbaum–Tarski_algebra dbr:Boolean_algebra_(structure) dbc:Mathematical_logic dbr:Intuitionistic_logic dbr:Project_Euclid dbr:MV-algebra dbr:Mathematical_logic dbr:Universal_algebra dbr:Algebraic_semantics_(computer_science) dbr:Order_theory dbr:Łukasiewicz_logic dbr:Interior_algebra dbr:Formal_semantics_(logic) dbr:Interior_operator dbr:Classical_propositional_logic
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Technical dbt:Mathlogic-stub dbt:Short_description
dct:subject	dbc:Mathematical_logic
gold:hypernym	dbr:Semantics
rdfs:label	Algebraic semantics (mathematical logic) (en) Sémantique algébrique (logique mathématique) (fr)
owl:sameAs	freebase:Algebraic semantics (mathematical logic) wikidata:Algebraic semantics (mathematical logic) dbpedia-fr:Algebraic semantics (mathematical logic) dbpedia-global:Algebraic semantics (mathematical logic)
prov:wasDerivedFrom	wikipedia-en:Algebraic_semantics_(mathematical_logic)?oldid=1290587497&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Algebraic_semantics_(mathematical_logic)
is dbo:wikiPageDisambiguates of	dbr:Algebraic_semantics
is dbo:wikiPageRedirects of	dbr:Boolean-valued_semantics
is dbo:wikiPageWikiLink of	dbr:Field_of_sets dbr:Algebraic_logic dbr:Classical_modal_logic dbr:Modus_ponens dbr:Lindenbaum–Tarski_algebra dbr:Representation_(mathematics) dbr:Semantics_of_logic dbr:Rough_set dbr:MV-algebra dbr:Negation dbr:Truth_value dbr:Boolean-valued_semantics dbr:John_Lemmon dbr:T-norm_fuzzy_logics dbr:Boolean_algebra dbr:Valuation_(logic) dbr:Leibniz_operator dbr:Algebraic_semantics dbr:Algebraic_semantics_(computer_science) dbr:BL_(logic) dbr:General_frame dbr:Monoidal_t-norm_logic dbr:Łukasiewicz–Moisil_algebra dbr:Łukasiewicz_logic
is foaf:primaryTopic of	wikipedia-en:Algebraic_semantics_(mathematical_logic)