Computer Science Logic

From MaRDI portal

Revision as of 22:21, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5311280

Jump to:navigation, search

DOI10.1007/B100120zbMath1095.68109OpenAlexW2481899496MaRDI QIDQ5311280

Agata Ciabattoni

Publication date: 22 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b100120

Mathematics Subject Classification ID

Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)

Related Items (8)

RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH ⋮ Density elimination ⋮ Hypersequent and display calculi -- a unified perspective ⋮ Triangular norm based predicate fuzzy logics ⋮ Unnamed Item ⋮ Free Definite Description Theory – Sequent Calculi and Cut Elimination ⋮ Leśniewski's ontology -- proof-theoretic characterization ⋮ Towards a semantic characterization of cut-elimination

This page was built for publication: Computer Science Logic

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