Search for Author All Reviews
	Pimentel, Elaine     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews       Modularisation of sequent calculi for normal and non-normal modalities Lellmann B., Pimentel E. ACM Transactions on Computational Logic 20(2): 1-46, 2019.  Type: Article Mathematician and logician Gerhard Gentzen introduced sequent calculus, a logical framework, in the first half of the 20th century. It can be used to establish systems for propositional, first-order, and modal logics. For the latter, i...... Oct 10 2019
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy