Update to ``A survey of abstract algebraic logic'' (Q1005985): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Josep Maria Font / rank | |||
Property / author | |||
Property / author: Ramon Jansana / rank | |||
Property / author | |||
Property / author: Don Pigozzi / rank | |||
Property / author | |||
Property / author: Josep Maria Font / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Ramon Jansana / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Don Pigozzi / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s11225-009-9169-2 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1965284799 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4465171 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4821597 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Equivalence of consequence operations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraizable logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A closer look at some subintuitionistic logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Protoalgebraic logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fregean logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fregean logics with the multiterm deduction theorem and their algebraization / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4870564 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the closure properties of the class of full G-models of a deductive system / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A survey of abstract algebraic logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4889848 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Equivalential and algebraizable logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Characterizing equivalential and algebraizable logics by the Leibniz operator / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Leibniz filters revisited / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the algebraizability of annotated logics / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 04:24, 29 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Update to ``A survey of abstract algebraic logic'' |
scientific article |
Statements
Update to ``A survey of abstract algebraic logic'' (English)
0 references
17 March 2009
0 references
finitely algebraizable logic
0 references
abstract algebraic logic
0 references
quasivariety
0 references