An expressivist strategy to understand logical forms

DOI10.12775/llp.2023.005zbMATH Open1542.03028MaRDI QIDQ6535321

Giacomo Turbanti

Publication date: 12 December 2023

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

sequent calculusdisplay logiclogical expressivismlogical formBegriffsschrift

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Diagrammatic reasoning in Frege's \textit{Begriffsschrift}
• Universal logic: An anthology. From Paul Hertz to Dov Gabbay
• Displaying and deciding substructural logics. I: Logics with contraposition
• Axiomensysteme für beliebige Satzsysteme. I. Teil. Sätze ersten Grades. (Über die Axiomensysteme von der kleinsten Satzzahl und den Begriff des idealen Elementes.)
• Logical form. Between logic and natural language
• Display logic
• Structural proof theory. With an appendix by Aarne Ranta
• Gaggles, Gentzen and Galois: how to display your favourite substructural logic
• Substructural logics on display

Related Items (1)

Expression and guidance in Schroeder's expressivist semantics

This page was built for publication: An expressivist strategy to understand logical forms