Logo del repository
  1. Home
 
Opzioni

Logiche sottostrutturali

Ledda, Antonio
2014
  • Controlled Vocabulary...

Periodico
APhEx
Abstract
This paper is a gentle introduction to substructural logics, a family of logics generalizing classical logic. First of all, we present Gentzen formulation of classical logic, and then we discuss in some detail the motivations behind its substructural generalizations. Questo lavoro è un invito allo studio delle logiche sottostrutturali, una famiglia di logiche che generaliz- zano la logica classica. In primo luogo, discuteremo la formulazione della logica classica a` la Gentzen, per poi vedere, passo dopo passo, quali siano le motivazioni che possono spingere a considerare le sue generalizzazioni sottostrutturali.
Archivio
http://hdl.handle.net/10077/30519
Diritti
open access
Soggetti
  • Classical logic

  • Structural rules

  • Substructural logics

  • Logica classica

  • Regole strutturali

  • Logiche sottostruttur...

google-scholar
Get Involved!
  • Source Code
  • Documentation
  • Slack Channel
Make it your own

DSpace-CRIS can be extensively configured to meet your needs. Decide which information need to be collected and available with fine-grained security. Start updating the theme to match your nstitution's web identity.

Need professional help?

The original creators of DSpace-CRIS at 4Science can take your project to the next level, get in touch!

Realizzato con Software DSpace-CRIS - Estensione mantenuta e ottimizzata da 4Science

  • Impostazioni dei cookie
  • Informativa sulla privacy
  • Accordo con l'utente finale
  • Invia il tuo Feedback