Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Folk algebras in algebra [[electronic resource] ] : logic and computer science / / Marcelo Fabián Frias
| Folk algebras in algebra [[electronic resource] ] : logic and computer science / / Marcelo Fabián Frias |
| Autore | Frias Marcelo Fabián <1968-> |
| Pubbl/distr/stampa | River Edge, NJ, : World Scientific, 2002 |
| Descrizione fisica | 1 online resource (230 p.) |
| Disciplina | 004/.01/51 |
| Collana | Advances in logic |
| Soggetto topico |
Computer science - Mathematics
Logic, Symbolic and mathematical |
| Soggetto genere / forma | Electronic books. |
| ISBN | 981-277-792-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents ; Preface ; Chapter 1 Introduction and Motivations ; 1.1 Software Specification Binary Relations and Fork ; Chapter 2 Algebras of Binary Relations and Relation Algebras ; 2.1 History and Definitions ; 2.2 Arithmetical Properties ; Chapter 3 Proper and Abstract Fork Algebras
3.1 On the Origin of Fork Algebras 3.2 Definition of the Classes ; 3.3 Arithmetical Properties ; Chapter 4 Representability and Independence ; 4.1 Representability of Abstract Fork Algebras ; 4.2 Independence of the Axiomatization of Fork Chapter 5 Interpretability of Classical First-Order Logic 5.1 Basic Definitions ; 5.2 Interpreting FOLE ; Chapter 6 Algebraization of Non-Classical Logics ; 6.1 Basic Definitions and Properties ; 6.2 The Fork Logic FL ; 6.3 Modal Logics ; 6.4 Representation of Constraints in FL 6.5 Interpretability of Modal Logics in FL 6.6 A Proof Theoretical Approach ; 6.7 Interpretability of Propositional Dynamic Logic in FL ; 6.8 The Fork Logic FL' ; 6.8.1 Syntax of FL' ; 6.8.2 Semantics of FL' ; 6.9 A Rasiowa-Sikorski Calculus for FL' 6.9.1 The Deduction System for FL' 6.9.2 Soundness and Completeness of the Calculus FLC ; 6.9.3 Examples of Proofs in the Calculus FLC ; 6.10 A Relational Proof System for Intuitionistic Logic ; 6.10.1 Intuitionistic Logic ; 6.10.2 Interpretability of Intuitionistic Logic in FL' 6.10.3 A Fork Logic Calculus for Intuitionistic Logic |
| Record Nr. | UNINA-9910451240603321 |
Frias Marcelo Fabián <1968->
|
||
| River Edge, NJ, : World Scientific, 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fork algebras in algebra [[electronic resource] ] : logic and computer science / / Marcelo Fabián Frias
| Fork algebras in algebra [[electronic resource] ] : logic and computer science / / Marcelo Fabián Frias |
| Autore | Frias Marcelo Fabián <1968-> |
| Pubbl/distr/stampa | River Edge, NJ, : World Scientific, 2002 |
| Descrizione fisica | 1 online resource (230 p.) |
| Disciplina | 004/.01/51 |
| Collana | Advances in logic |
| Soggetto topico |
Computer science - Mathematics
Logic, Symbolic and mathematical |
| ISBN | 981-277-792-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents ; Preface ; Chapter 1 Introduction and Motivations ; 1.1 Software Specification Binary Relations and Fork ; Chapter 2 Algebras of Binary Relations and Relation Algebras ; 2.1 History and Definitions ; 2.2 Arithmetical Properties ; Chapter 3 Proper and Abstract Fork Algebras
3.1 On the Origin of Fork Algebras 3.2 Definition of the Classes ; 3.3 Arithmetical Properties ; Chapter 4 Representability and Independence ; 4.1 Representability of Abstract Fork Algebras ; 4.2 Independence of the Axiomatization of Fork Chapter 5 Interpretability of Classical First-Order Logic 5.1 Basic Definitions ; 5.2 Interpreting FOLE ; Chapter 6 Algebraization of Non-Classical Logics ; 6.1 Basic Definitions and Properties ; 6.2 The Fork Logic FL ; 6.3 Modal Logics ; 6.4 Representation of Constraints in FL 6.5 Interpretability of Modal Logics in FL 6.6 A Proof Theoretical Approach ; 6.7 Interpretability of Propositional Dynamic Logic in FL ; 6.8 The Fork Logic FL' ; 6.8.1 Syntax of FL' ; 6.8.2 Semantics of FL' ; 6.9 A Rasiowa-Sikorski Calculus for FL' 6.9.1 The Deduction System for FL' 6.9.2 Soundness and Completeness of the Calculus FLC ; 6.9.3 Examples of Proofs in the Calculus FLC ; 6.10 A Relational Proof System for Intuitionistic Logic ; 6.10.1 Intuitionistic Logic ; 6.10.2 Interpretability of Intuitionistic Logic in FL' 6.10.3 A Fork Logic Calculus for Intuitionistic Logic |
| Record Nr. | UNINA-9910784730303321 |
|
Frias Marcelo Fabián <1968->
|
||
| River Edge, NJ, : World Scientific, 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||