Sfoglia per Autore
Structural Proof Theory
2001-01-01 Negri, Sara; von Plato, Jan
Proof Analysis: A contribution to Hilbert's last problem
2011-01-01 Negri, S.; Von Plato, J.
Reasoning About Collectively Accepted Group Beliefs
2011-01-01 Hakli, R.; Negri, S.
Does the deduction theorem fail for modal logic?
2012-01-01 Hakli, R.; Negri, S.
Countermodels from sequent calculi in multi-modal logics
2012-01-01 Garg, D.; Genovese, V.; Negri, S.
A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel-McKinsey-Tarski embedding
2012-01-01 Dyckhoff, R.; Negri, S.
Proof analysis in intermediate logics
2012-01-01 Dyckhoff, R.; Negri, S.
On the Duality of Proofs and Countermodels in Labelled Sequent Calculi
2013-01-01 Negri, S
Proofs and Countermodels in Non-Classical Logics
2014-01-01 Negri, S.
Le direzioni della ricerca logica in Italia: Teoria strutturale della dimostrazione
2015-01-01 Negri, Sara
Geometrisation of First-Order Logic
2015-01-01 Dyckhoff, R.; Negri, S.
Meaning in Use
2015-01-01 Negri, S.; von Plato, J.
A sequent calculus for preferential conditional logic based on neighbourhood semantics
2015-01-01 Negri, S.; Olivetti, N.
Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen's Altitude Line Construction
2016-01-01 Negri, S; von Plato, J
Glivenko sequent classes in the light of structural proof theory
2016-01-01 Negri, S.
A system of proof for Lewis counterfactual
2016-01-01 Negri, Sara; Sbardolini, Giorgio
Proof analysis beyond geometric theories: From rule systems to systems of rules
2016-01-01 Negri, S.
PROOF ANALYSIS for LEWIS COUNTERFACTUALS
2016-01-01 Negri, S.; Sbardolini, G.
The logic of conditional beliefs: Neighbourhood semantics and sequent calculus
2016-01-01 Girlando, M.; Negri, S.; Olivetti, N.; Risch, V.
PROOF THEORY FOR NON-NORMAL MODAL LOGICS: THE NEIGHBOURHOOD FORMALISM AND BASIC RESULTS
2017-01-01 Negri, S
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile