Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Algebraic_semantics_(mathematical_logic)> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items 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) wikiPageRevisionID "541242860".
- Algebraic_semantics_(mathematical_logic) hasPhotoCollection Algebraic_semantics_(mathematical_logic).
- Algebraic_semantics_(mathematical_logic) subject Category:Mathematical_logic.
- 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=541242860.
- Algebraic_semantics_(mathematical_logic) isPrimaryTopicOf Algebraic_semantics_(mathematical_logic).