Publication | Date of Publication | Type |
---|
Categorical abstract algebraic logic: skywatching in semilattice systems | 2019-01-08 | Paper |
Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics | 2018-11-23 | Paper |
Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems | 2018-09-13 | Paper |
Categorical Abstract Algebraic Logic: Wojcicki's Conjecture and Malinowski's Theorem | 2018-03-29 | Paper |
Categorical Abstract Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions | 2017-11-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q2971280 | 2017-04-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q5501724 | 2015-08-14 | Paper |
Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions | 2015-07-20 | Paper |
Malinowski modalization, modalization through fibring and the Leibniz hierarchy | 2015-02-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q5173792 | 2015-02-16 | Paper |
Categorical abstract algebraic logic: behavioral \(\pi\)-institutions | 2014-09-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q5412170 | 2014-04-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q5412175 | 2014-04-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q5747514 | 2014-02-17 | Paper |
Categorical abstract algebraic logic: referential algebraic semantics | 2013-09-23 | Paper |
Categorical abstract algebraic logic: meet-combination of logical systems | 2013-07-25 | Paper |
Categorical Abstract Algebraic Logic: Algebraic Semantics for (\documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\bf{\pi }$\end{document})‐Institutions | 2013-06-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q2906959 | 2012-09-05 | Paper |
https://portal.mardi4nfdi.de/entity/Q2892191 | 2012-06-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q3067629 | 2011-01-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q3067914 | 2011-01-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q3582174 | 2010-09-02 | Paper |
https://portal.mardi4nfdi.de/entity/Q3632250 | 2009-06-23 | Paper |
Package-Based Description Logics | 2009-06-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q3629235 | 2009-05-27 | Paper |
Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence | 2009-01-23 | Paper |
Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems | 2008-09-11 | Paper |
Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based -Institutions | 2008-06-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q5449284 | 2008-03-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q5442464 | 2008-02-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q5441552 | 2008-02-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q5441065 | 2008-02-07 | Paper |
Categorical abstract algebraic logic: The categorical Suszko operator | 2008-01-04 | Paper |
Dedekind-MacNeille completion of \(n\)-ordered sets | 2007-10-12 | Paper |
Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity | 2007-08-17 | Paper |
Categorical abstract algebraic logic: more on protoalgebraicity | 2007-08-01 | Paper |
Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas | 2007-05-11 | Paper |
Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties | 2007-04-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q3431258 | 2007-04-10 | Paper |
Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors | 2007-03-21 | Paper |
Remarks on classifications and adjunctions | 2007-02-02 | Paper |
\(n\)-closure systems and \(n\)-closure operators | 2007-01-29 | Paper |
Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems | 2006-12-20 | Paper |
Categorical abstract algebraic logic: Partially ordered algebraic systems | 2006-09-12 | Paper |
Categorical abstract algebraic logic: The largest theory system included in a theory family | 2006-08-30 | Paper |
Categorical abstract algebraic logic: models of \(\pi\)-institutions | 2006-03-23 | Paper |
Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems | 2006-02-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q3370811 | 2006-02-08 | Paper |
Categorical abstract algebraic logic: Gentzenπ -institutions and the deduction-detachment property | 2005-11-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q3023681 | 2005-07-05 | Paper |
Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms | 2005-05-26 | Paper |
Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic | 2005-03-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q4657630 | 2005-03-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q4824887 | 2004-11-01 | Paper |
A categorical approach to threshold agent networks | 2004-05-27 | Paper |
Categorical abstract algebraic logic: Equivalent institutions | 2004-02-15 | Paper |
Categorical abstract algebraic logic. Metalogical properties | 2003-08-28 | Paper |
Categorical abstract algebraic logic: The criterion for deductive equivalence | 2003-07-31 | Paper |
Threshold agent networks: An approach to modelling and simulation | 2003-07-30 | Paper |
https://portal.mardi4nfdi.de/entity/Q4707045 | 2003-06-05 | Paper |
A duality theory for bilattices | 2003-04-23 | Paper |
Categorical abstract algebraic logic: Algebraizable institutions | 2003-04-03 | Paper |
Polyadic concept analysis | 2003-03-11 | Paper |