Admissibility, compatibility, and deducibility in first-order sequent logics

From MaRDI portal

Publication:1650338

Jump to:navigation, search

zbMATH Open1390.03047MaRDI QIDQ1650338

Y. Aharonov

Publication date: 3 July 2018

Published in: Computer Science Journal of Moldova (Search for Journal in Brave)

Full work available at URL: http://www.math.md/publications/csjm/issues/v23-n3/11978/

zbMATH Keywords

validity sequent calculus compatibility admissibility first-order modal logic deducibility coextensivity first-order classical logic first-order intuitionistic logic

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Complexity of proofs (03F20)

Related Items (1)

Lexicographic rationalizability and iterated admissibility

This page was built for publication: Admissibility, compatibility, and deducibility in first-order sequent logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1650338)

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