scientific article; zbMATH DE number 5270686
From MaRDI portal
Publication:5460172
zbMath1133.03301MaRDI QIDQ5460172
Publication date: 2 May 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Foundations of logic programming in hybrid logics with user-defined sharing, Many-valuedness from a universal logic perspective, Universal logic: evolution of a project, Composition-nominative logics as institutions, Birkhoff style calculi for hybrid logics, Human rationality challenges universal logic, Lindenbaum-type logical structures, Graded consequence: an institution theoretic study, Many-Valued Logics in the Iberian Peninsula, The Lvov-Warsaw School: A True Mythology, CafeOBJ Traces, The relativity and universality of logic, The institution-theoretic scope of logic theorems, Universal Logic as a Science of Patterns, Universal Logic or Logics in Resemblance Families, Universal logic and Aristotelian logic: formality and essence of logic