This HTML5 document contains 187 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n14https://philpapers.org/s/
n21http://plato.stanford.edu/entries/algebra-logic-tradition/
dbpedia-dahttp://da.dbpedia.org/resource/
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
n18https://web.archive.org/web/20090402075815/http:/www.elsevier.com/wps/find/bookdescription.cws_home/621535/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-cahttp://ca.dbpedia.org/resource/
n17http://plato.stanford.edu/entries/consequence-algebraic/
dbpedia-kkhttp://kk.dbpedia.org/resource/
n9https://global.dbpedia.org/id/
n32http://www.elsevier.com/wps/find/bookdescription.cws_home/621535/
n11http://www.philosophie.uni-osnabrueck.de/Publikationen%20Lenzen/
dbthttp://dbpedia.org/resource/Template:
n19http://mally.stanford.edu/
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n22https://www.jstor.org/stable/
freebasehttp://rdf.freebase.com/ns/
dbpedia-fahttp://fa.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-frhttp://fr.dbpedia.org/resource/
dbpedia-zhhttp://zh.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n4https://web.archive.org/web/20111005123012/http:/www.math-inst.hu/pub/algebraic-logic/
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Algebraic_logic
rdf:type
owl:Thing
rdfs:label
代数逻辑 Lògica algebraica Алгебраїчна логіка Algebraic logic Logique algébrique
rdfs:comment
En logique mathématique, la logique algébrique est le raisonnement obtenu en manipulant des équations avec des variables libres. Ce qui est maintenant généralement appelé la logique algébrique classique se concentre sur l'identification et la description algébrique des modèles adaptés à l'étude de différentes logiques (sous la forme de classes d'algèbres qui constituent la sémantique algébrique de ces systèmes déductifs) et aux problèmes connexes, comme la représentation et la dualité. In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with free variables. What is now usually called classical algebraic logic focuses on the identification and algebraic description of models appropriate for the study of various logics (in the form of classes of algebras that constitute the algebraic semantics for these deductive systems) and connected problems like representation and duality. Well known results like the representation theorem for Boolean algebras and Stone duality fall under the umbrella of classical algebraic logic. Алгебраїчна логіка — частина математичної логіки, викладена алгебраїчним стилем. Dins la lògica matemàtica, la lògica algebraica és el raonament obtingut mitjançant la manipulació d'equacions amb variables lliures. El que actualment s’anomena lògica algebraica clàssica se centra en la identificació i descripció algebraica de models adequats per a l'estudi de diverses lògiques (en forma de classes d'àlgebres que constitueixen la semàntica algebraica d'aquests sistemes deductius ) i problemes connectats com la representació i la dualitat. Resultats ben coneguts com el teorema de la representació per a les àlgebres de Boole i la dualitat de Stone cauen sota el paraigua de la lògica algebraica clàssica . 在數理邏輯中,代數邏輯使用抽象代數方法形式化邏輯。
rdfs:seeAlso
dbr:Symbolical_algebra
dcterms:subject
dbc:History_of_logic dbc:Algebraic_logic
dbo:wikiPageID
7870034
dbo:wikiPageRevisionID
1111954032
dbo:wikiPageWikiLink
dbr:Model_theory dbr:Bit dbr:Proper_extension dbr:Bertrand_Russell dbr:Hugh_MacColl dbr:Peano_arithmetic dbr:Equality_(mathematics) dbr:Presupposition dbr:Abstract_algebraic_logic dbr:Clarence_Lewis dbr:Predicate_functor_logic dbr:Polyadic_algebra dbr:Lattice_(order) dbr:Monadic_Boolean_algebra dbr:Free_variables_and_bound_variables dbr:Function_(mathematics) dbr:Universal_algebra dbr:Logical_equivalence dbr:Converse_relation dbr:Metaphysics dbr:Logical_system dbr:Gunther_Schmidt dbr:Combinatory_logic dbr:Gottfried_Wilhelm_Leibniz dbr:Sentential_logic dbr:Elsevier dbr:Nachlass dbc:History_of_logic dbr:Louis_Couturat dbr:Leopold_Löwenheim dbr:Alfred_Tarski dbr:Representation_(mathematics) dbr:Jacques_Riguet dbr:Łukasiewicz_logic dbr:Algebraic_structure dbr:Axiomatic_set_theory dbr:Partial_function dbr:Term_(logic) dbr:Algebraic_semantics_(mathematical_logic) dbr:Clarence_Irving_Lewis dbr:Set_theory dbr:Power_set dbr:Philosophy dbr:Boolean-valued_model dbr:Heterogeneous_relation dbr:Universe_of_discourse dbr:Charles_Loewner dbr:S5_(modal_logic) dbr:Formula dbr:Binary_relation dbr:Tautology_(logic) dbr:ZFC dbr:Order_theory dbr:Modus_ponens dbr:N._M._Ferrers dbr:Textbook dbr:Boolean_algebra dbr:Boolean_algebra_(structure) dbr:Logic dbr:Ivor_Grattan-Guinness dbr:Inclusion_(set_theory) dbr:Hochschule_Karlsruhe dbr:Alexander_Macfarlane dbr:Symbolic_logic dbr:University_of_California,_Berkeley dbr:Propositional_function dbr:Outer_product dbr:Heyting_algebra dbr:Operation_(mathematics) dbr:Charles_Sanders_Peirce dbr:Hajnal_Andréka dbr:Intuitionistic_logic dbr:Erotetics dbr:Universal_quantification dbr:Logical_connective dbr:Thoralf_Skolem dbr:Truth_value dbr:Primitive_notion dbr:Modal_logic dbr:Question dbr:Ernst_Schröder_(mathematician) dbr:Existential_quantification dbr:Johns_Hopkins_University dbr:Codd's_theorem dbr:Helena_Rasiowa dbr:Non-classical_logic dbr:Mathematics dbr:Gottlob_Frege dbr:Computer_algebra dbr:Harvard_University_Press dbr:Interior_algebra dbr:Irving_Anellis dbr:Total_relation dbr:Statement_(logic) dbr:Lindenbaum–Tarski_algebra dbr:A._N._Whitehead dbc:Algebraic_logic dbr:Logic_of_relatives dbr:MV-algebra dbr:Composition_of_relations dbr:Mathematical_logic dbr:Sentence_(mathematical_logic) dbr:Leibniz_operator dbr:Principia_Mathematica dbr:Deductive_system dbr:First-order_logic dbr:Monadic_predicate_logic dbr:PhilPapers dbr:George_Boole dbr:Matrix_multiplication dbr:Giuseppe_Peano dbr:Socratic_method dbr:Complementary_relation dbr:János_Bolyai_Mathematical_Society dbr:Logicism dbr:Formal_concept_analysis dbr:Christine_Ladd dbr:Cylindric_algebra dbr:Relation_algebra dbr:Difunctional dbr:Modal_algebra dbr:Logical_matrix dbr:Transpose dbr:Representation_theorem_for_Boolean_algebras dbr:Normal_modal_logic dbr:Stone_duality dbr:Willard_Quine dbr:Augustus_De_Morgan
dbo:wikiPageExternalLink
n4:handbook.pdf n11:Lenzen%20Leibniz%20Logic.pdf n14:algebraic%20logic n17: n18:description n19:leibniz.pdf n21: n22:3094793 n32:description
dbp:reference
Lenzen, Wolfgang, 2004, "Leibniz’s Logic" in Gabbay, D., and Woods, J., eds., Handbook of the History of Logic, Vol. 3: The Rise of Modern Logic from Leibniz to Frege. North-Holland: 1-84. Zalta, E. N., 2000, "A (Leibnizian) Theory of Concepts," Philosophiegeschichte und logische Analyse / Logical Analysis and History of Philosophy 3: 137-183.
owl:sameAs
dbpedia-kk:Алгебралық_логика n9:6RdW wikidata:Q1005222 dbpedia-fr:Logique_algébrique dbpedia-uk:Алгебраїчна_логіка freebase:m.026gyjw dbpedia-ca:Lògica_algebraica dbpedia-fa:منطق_جبری dbpedia-da:Logisk_algebra dbpedia-zh:代数逻辑
dbp:wikiPageUsesTemplate
dbt:ISBN dbt:See_also dbt:Harvid dbt:Reflist dbt:Cite_book dbt:Cite_journal dbt:Short_description dbt:Harvtxt dbt:Harv dbt:Wikicite dbt:Citation_needed dbt:Citation dbt:Rp
dbo:abstract
In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with free variables. What is now usually called classical algebraic logic focuses on the identification and algebraic description of models appropriate for the study of various logics (in the form of classes of algebras that constitute the algebraic semantics for these deductive systems) and connected problems like representation and duality. Well known results like the representation theorem for Boolean algebras and Stone duality fall under the umbrella of classical algebraic logic. Works in the more recent abstract algebraic logic (AAL) focus on the process of algebraization itself, like classifying various forms of algebraizability using the Leibniz operator. 在數理邏輯中,代數邏輯使用抽象代數方法形式化邏輯。 Dins la lògica matemàtica, la lògica algebraica és el raonament obtingut mitjançant la manipulació d'equacions amb variables lliures. El que actualment s’anomena lògica algebraica clàssica se centra en la identificació i descripció algebraica de models adequats per a l'estudi de diverses lògiques (en forma de classes d'àlgebres que constitueixen la semàntica algebraica d'aquests sistemes deductius ) i problemes connectats com la representació i la dualitat. Resultats ben coneguts com el teorema de la representació per a les àlgebres de Boole i la dualitat de Stone cauen sota el paraigua de la lògica algebraica clàssica . Els treballs de la lògica algebraica abstracta més recent (AAL) se centren en el propi procés d'algebraització, com classificar diverses formes d'algebraitzabilitat mitjançant l'operador de Leibniz . Алгебраїчна логіка — частина математичної логіки, викладена алгебраїчним стилем. En logique mathématique, la logique algébrique est le raisonnement obtenu en manipulant des équations avec des variables libres. Ce qui est maintenant généralement appelé la logique algébrique classique se concentre sur l'identification et la description algébrique des modèles adaptés à l'étude de différentes logiques (sous la forme de classes d'algèbres qui constituent la sémantique algébrique de ces systèmes déductifs) et aux problèmes connexes, comme la représentation et la dualité.
gold:hypernym
dbr:Reasoning
prov:wasDerivedFrom
wikipedia-en:Algebraic_logic?oldid=1111954032&ns=0
dbo:wikiPageLength
18986
foaf:isPrimaryTopicOf
wikipedia-en:Algebraic_logic