About: Abstract algebraic logic

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

Study of the algebraization of deductive systems, based on the Lindenbaum–Tarski algebra

Property	Value
dbo:description	study of the algebraization of deductive systems, based on the Lindenbaum–Tarski algebra (en)
dbo:wikiPageExternalLink	http://orion.math.iastate.edu/dpigozzi/ https://archive.org/details/theoryoflogicalc0000wojc http://projecteuclid.org/euclid.lnl/1235416965 https://plato.stanford.edu/entries/logic-algebraic-propositional/ https://web.archive.org/web/20091216171952/http:/euclides.imub.ub.es/publications/preprints/pdf/Font-altresPre329.pdf https://web.archive.org/web/20100331085640/http:/euclides.imub.ub.es/publications/preprints/pdf/font.pdf
dbo:wikiPageWikiLink	dbr:Roman_Sikorski dbr:Lattice_(order) dbr:Variety_(universal_algebra) dbr:Association_for_Symbolic_Logic dbr:Signature_(logic) dbr:Set_theory dbr:First-order_logic dbr:Abstract_algebra dbr:Group_(mathematics) dbr:Ring_(mathematics) dbr:Helena_Rasiowa dbr:Algebraic_logic dbr:Propositional_calculus dbr:Heyting_algebra dbr:Ernst_Schröder_(mathematician) dbr:Deductive_system dbr:Mathematical_Reviews dbr:Modal_logic dbr:Combinatory_logic dbr:Cylindric_algebra dbr:Lindenbaum–Tarski_algebra dbr:Relation_algebra dbr:Hierarchy_(mathematics) dbr:Boolean_algebra_(structure) dbr:Intuitionistic_logic dbr:Abstract_model_theory dbr:Project_Euclid dbr:Complemented_lattice dbr:Module_(mathematics) dbr:Adolf_Lindenbaum dbr:Charles_Sanders_Peirce dbr:Field_(mathematics) dbr:Alfred_Tarski dbr:Axiomatic_set_theories dbr:George_Boole dbr:Mathematical_logic dbr:Model_theory dbr:Unary_operation dbr:Polyadic_algebra dbr:Universal_algebra dbr:Boolean_algebra dbc:Algebraic_logic dbr:Wim_Blok dbr:Hajnal_Andréka dbr:Jerzy_Łoś dbr:Stanford_Encyclopedia_of_Philosophy dbr:Predicate_functor_logic dbr:Deduction_theorem dbr:Modal_algebra dbr:Abstract_algebraic_hierarchy dbr:Universal_logic dbr:Ewa_Orłowska dbr:Donald_Pigozzi dbr:István_Németi dbr:Janusz_Czelakowski dbr:Roman_Suszko dbr:Classical_propositional_logic
dbp:id	Abstract_algebraic_logic (en)
dbp:oldid	21268 (xsd:integer)
dbp:title	Abstract algebraic logic (en)
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Reflist dbt:SpringerEOM dbt:ISBN dbt:Short_description
dct:subject	dbc:Algebraic_logic
gold:hypernym	dbr:Study
rdfs:label	Abstract algebraic logic (en) Lógica algébrica abstrata (pt) 抽象代数逻辑 (zh)
owl:sameAs	freebase:Abstract algebraic logic wikidata:Abstract algebraic logic dbpedia-zh:Abstract algebraic logic dbpedia-pt:Abstract algebraic logic dbpedia-global:Abstract algebraic logic
prov:wasDerivedFrom	wikipedia-en:Abstract_algebraic_logic?oldid=1210817079&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Abstract_algebraic_logic
is dbo:wikiPageDisambiguates of	dbr:AAL
is dbo:wikiPageRedirects of	dbr:Abstract_Algebraic_Logic
is dbo:wikiPageWikiLink of	dbr:Non-classical_logic dbr:Craig_interpolation dbr:Many-sorted_logic dbr:AAL dbr:Closure_operator dbr:Logical_consequence dbr:Algebraic_logic dbr:Cylindric_algebra dbr:Lindenbaum–Tarski_algebra dbr:Abstract_logic_(disambiguation) dbr:Abstraction_(mathematics) dbr:Logical_connective dbr:Alfred_Tarski dbr:George_Boole dbr:Leibniz_operator dbr:Wim_Blok dbr:Modal_algebra dbr:Abstract_Algebraic_Logic dbr:Universal_logic
is foaf:primaryTopic of	wikipedia-en:Abstract_algebraic_logic