Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Algebraic_semantics_(mathematical_logic)> ?p ?o }
Showing triples 1 to 45 of
45
with 100 triples per page.
- Algebraic_semantics_(mathematical_logic) abstract "In mathematical logic, algebraic semantics is a formal semantics based on algebras studied as part of algebraic logic. For example, the modal logic S4 is characterized by the class of topological boolean algebras—that is, boolean algebras with an interior operator. Other modal logics are characterized by various other algebras with operators. The class of boolean algebras characterizes classical propositional logic, and the class of Heyting algebras propositional intuitionistic logic.".
- Algebraic_semantics_(mathematical_logic) wikiPageExternalLink 1235416965.
- Algebraic_semantics_(mathematical_logic) wikiPageExternalLink 3094793.
- Algebraic_semantics_(mathematical_logic) wikiPageID "2848519".
- Algebraic_semantics_(mathematical_logic) wikiPageLength "1982".
- Algebraic_semantics_(mathematical_logic) wikiPageOutDegree "16".
- Algebraic_semantics_(mathematical_logic) wikiPageRevisionID "615980126".
- Algebraic_semantics_(mathematical_logic) wikiPageWikiLink Algebraic_logic.
- Algebraic_semantics_(mathematical_logic) wikiPageWikiLink Association_for_Symbolic_Logic.
- Algebraic_semantics_(mathematical_logic) wikiPageWikiLink Boolean_algebra_(structure).
- Algebraic_semantics_(mathematical_logic) wikiPageWikiLink Category:Mathematical_logic.
- Algebraic_semantics_(mathematical_logic) wikiPageWikiLink Classical_propositional_logic.
- Algebraic_semantics_(mathematical_logic) wikiPageWikiLink Closure_operator.
- Algebraic_semantics_(mathematical_logic) wikiPageWikiLink Formal_semantics_(logic).
- Algebraic_semantics_(mathematical_logic) wikiPageWikiLink Heyting_algebra.
- Algebraic_semantics_(mathematical_logic) wikiPageWikiLink Interior_algebra.
- Algebraic_semantics_(mathematical_logic) wikiPageWikiLink Interior_operator.
- Algebraic_semantics_(mathematical_logic) wikiPageWikiLink Intuitionistic_logic.
- Algebraic_semantics_(mathematical_logic) wikiPageWikiLink Mathematical_logic.
- Algebraic_semantics_(mathematical_logic) wikiPageWikiLink Modal_logic.
- Algebraic_semantics_(mathematical_logic) wikiPageWikiLink Non-classical_logic.
- Algebraic_semantics_(mathematical_logic) wikiPageWikiLink Order_theory.
- Algebraic_semantics_(mathematical_logic) wikiPageWikiLink Project_Euclid.
- Algebraic_semantics_(mathematical_logic) wikiPageWikiLink Propositional_calculus.
- Algebraic_semantics_(mathematical_logic) wikiPageWikiLink Universal_algebra.
- Algebraic_semantics_(mathematical_logic) wikiPageWikiLinkText "Algebraic semantics (mathematical logic)".
- Algebraic_semantics_(mathematical_logic) wikiPageWikiLinkText "Algebraic semantics".
- Algebraic_semantics_(mathematical_logic) wikiPageWikiLinkText "algebraic semantics".
- Algebraic_semantics_(mathematical_logic) wikiPageWikiLinkText "algebraic".
- Algebraic_semantics_(mathematical_logic) wikiPageWikiLinkText "equivalent expression".
- Algebraic_semantics_(mathematical_logic) wikiPageWikiLinkText "semantics".
- Algebraic_semantics_(mathematical_logic) hasPhotoCollection Algebraic_semantics_(mathematical_logic).
- Algebraic_semantics_(mathematical_logic) wikiPageUsesTemplate Template:Cite_book.
- Algebraic_semantics_(mathematical_logic) wikiPageUsesTemplate Template:Expert-subject.
- Algebraic_semantics_(mathematical_logic) wikiPageUsesTemplate Template:Mathlogic-stub.
- Algebraic_semantics_(mathematical_logic) wikiPageUsesTemplate Template:Merge_to.
- Algebraic_semantics_(mathematical_logic) subject Category:Mathematical_logic.
- Algebraic_semantics_(mathematical_logic) hypernym Semantics.
- Algebraic_semantics_(mathematical_logic) comment "In mathematical logic, algebraic semantics is a formal semantics based on algebras studied as part of algebraic logic. For example, the modal logic S4 is characterized by the class of topological boolean algebras—that is, boolean algebras with an interior operator. Other modal logics are characterized by various other algebras with operators. The class of boolean algebras characterizes classical propositional logic, and the class of Heyting algebras propositional intuitionistic logic.".
- Algebraic_semantics_(mathematical_logic) label "Algebraic semantics (mathematical logic)".
- Algebraic_semantics_(mathematical_logic) sameAs m.086n3t.
- Algebraic_semantics_(mathematical_logic) sameAs Q4724013.
- Algebraic_semantics_(mathematical_logic) sameAs Q4724013.
- Algebraic_semantics_(mathematical_logic) wasDerivedFrom Algebraic_semantics_(mathematical_logic)?oldid=615980126.
- Algebraic_semantics_(mathematical_logic) isPrimaryTopicOf Algebraic_semantics_(mathematical_logic).