Sfoglia per Autore

opzioni
Mostrati risultati da 1 a 20 di 39
Titolo Data di pubblicazione Autore(i) File
Structural Proof Theory 1-gen-2001 Negri, Sara; von Plato, Jan
Reasoning About Collectively Accepted Group Beliefs 1-gen-2011 Hakli, R.; Negri, S.
Proof Analysis: A contribution to Hilbert's last problem 1-gen-2011 Negri, S.; Von Plato, J.
A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel-McKinsey-Tarski embedding 1-gen-2012 Dyckhoff, R.; Negri, S.
Does the deduction theorem fail for modal logic? 1-gen-2012 Hakli, R.; Negri, S.
On the Duality of Proofs and Countermodels in Labelled Sequent Calculi 1-gen-2013 Negri, S
Proofs and Countermodels in Non-Classical Logics 1-gen-2014 Negri, S.
Geometrisation of First-Order Logic 1-gen-2015 Dyckhoff, R.; Negri, S.
Meaning in Use 1-gen-2015 Negri, S.; von Plato, J.
A sequent calculus for preferential conditional logic based on neighbourhood semantics 1-gen-2015 Negri, S.; Olivetti, N.
Le direzioni della ricerca logica in Italia: Teoria strutturale della dimostrazione 1-gen-2015 Negri, Sara
A system of proof for Lewis counterfactual 1-gen-2016 Negri, Sara; Sbardolini, Giorgio
The logic of conditional beliefs: Neighbourhood semantics and sequent calculus 1-gen-2016 Girlando, M.; Negri, S.; Olivetti, N.; Risch, V.
Proof analysis beyond geometric theories: From rule systems to systems of rules 1-gen-2016 Negri, S.
Glivenko sequent classes in the light of structural proof theory 1-gen-2016 Negri, S.
Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen's Altitude Line Construction 1-gen-2016 Negri, S; von Plato, J
PROOF ANALYSIS for LEWIS COUNTERFACTUALS 1-gen-2016 Negri, S.; Sbardolini, G.
The intensional side of algebraic-topological representation theorems 1-gen-2017 Negri, S.
PROOF THEORY FOR NON-NORMAL MODAL LOGICS: THE NEIGHBOURHOOD FORMALISM AND BASIC RESULTS 1-gen-2017 Negri, S
Non-Normal Modal Logics: A Challenge to Proof Theory 1-gen-2017 Negri, S
Mostrati risultati da 1 a 20 di 39
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