Ugo Moscato

Available identifiers

zbMath Open moscato.ugoMaRDI QIDQ583193

List of research outcomes

Publication	Date of Publication	Type
Generalized tableau systems for intermediate propositional logics	2019-01-15	Paper
Optimization techniques for propositional intuitionistic logic and their implementation	2008-12-12	Paper
Improvements to the Tableau Prover PITP	2008-01-04	Paper
Computer Science Logic	2005-08-22	Paper
How to avoid the formal verification of a theorem prover	2001-04-17	Paper
https://portal.mardi4nfdi.de/entity/Q4699343	2000-06-14	Paper
https://portal.mardi4nfdi.de/entity/Q4264067	1999-09-21	Paper
Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic	1997-11-05	Paper
An improved refutation system for intuitionistic predicate logic	1995-02-22	Paper
Abstract parametric classes and abstract data types defined by classical and constructive logical methods	1995-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q3973572	1992-06-26	Paper
Some results on intermediate constructive logics	1989-01-01	Paper
A constructivism based on classical truth	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3476793	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3818308	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3669407	1982-01-01	Paper

Research outcomes over time

This page was built for person: Ugo Moscato