Two formal systems for situation semantics

DOI10.1305/NDJFL/1093636010zbMath0767.03012OpenAlexW2012854170MaRDI QIDQ1187536

Juan Barba Escriba

Publication date: 22 July 1992

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093636010

zbMATH Keywords

constraintformal systemsmultidimensional systemsituation semanticsrelational theory of meaningstrong consequence relation

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05)

This page was built for publication: Two formal systems for situation semantics