scientific article; zbMATH DE number 7285073

From MaRDI portal

Publication:5140119

Jump to:navigation, search

DOI10.2143/LEA.247.0.3287262zbMath1471.03078MaRDI QIDQ5140119

Nissim Francez

Publication date: 14 December 2020

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

classical logic proof-theoretic semantics parameterisation higher-order entities I/E rules

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Abstract deductive systems (03B22)

Related Items (1)

Toward a generalization of the logic of grounding

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5140119&oldid=19682357"