Universality of Logic

DOI10.18778/0138-0680.46.1.2.03zbMath1423.03039OpenAlexW2801938627MaRDI QIDQ4608552

Jan Woleński

Publication date: 21 March 2018

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.18778/0138-0680.46.1.2.03

zbMATH Keywords

first-order logicuniversalityconsequence operationsemanticsexpressive powermodelsyntaxlogica docentslogica utens

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10)

Cites Work

• Topoi. The categorial analysis of logic
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Institution-independent model theory
• Constructivism and Metamathematics
• Protoalgebraic logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Universality of Logic