scientific article; zbMATH DE number 2152345
From MaRDI portal
Publication:4663946
zbMath1062.03009MaRDI QIDQ4663946
No author found.
Publication date: 5 April 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Abstract deductive systems (03B22)
Related Items
On Dichotomy and Analogy: A Question on the Next “Unbloody” Revolution in Logic ⋮ A logical framework combining model and proof theory ⋮ Universal Logic or Logics in Resemblance Families ⋮ An Institutional Theory for #-Components ⋮ Universal logic and Aristotelian logic: formality and essence of logic