Institution-independent Model Theory

Inbunden, Engelska, 2025

Av Răzvan Diaconescu, Razvan Diaconescu, Răzvan Diaconescu, R¿zvan Diaconescu

2 249 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

1 389 kr

Skickas inom 10-15 vardagar

A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics.

Produktinformation

Utgivningsdatum2025-03-06
Mått155 x 235 x 37 mm
Vikt1 031 g
FormatInbunden
SpråkEngelska
SerieStudies in Universal Logic
Antal sidor568
Upplaga2
FörlagBirkhauser Verlag AG
ISBN9783031688539

Tillhör följande kategorier

- Introduction.- Part I Basics.- Categories.- Institutions.- Theories and Models.- Internal Logic.- Part II Advanced Topics.- Model Ultraproducts.- Saturated Models.- Preservation and Axiomatizability.- Interpolation.- Definability.- Part III Extensions.- Institutions with Proofs.- Models with States.- Many-valued Truth Institutions.- Part IV Applications to Computing.- Grothendieck Institutions.- Specification.- Logic Programming.

Mer från samma författare

Recent Trends in Algebraic Development Techniques

Recent Trends in Algebraic Development Techniques

Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu, Razvan Diaconescu, Ionut Tutu, Răzvan Diaconescu, R¿zvan Diaconescu, Ionu¿ ¿U¿U

559 kr

Cafeobj Report: The Language, Proof Techniques, And Methodologies For Object-oriented Algebraic Specification

Del 6

Cafeobj Report: The Language, Proof Techniques, And Methodologies For Object-oriented Algebraic Specification

Razvan Diaconescu, Kokichi Futatsugi, DIACONESCU RAZVAN

859 kr

Du kanske också är intresserad av

Institution-independent Model Theory

Institution-independent Model Theory

Razvan Diaconescu

1 389 kr

Towards an Arithmetical Logic

Towards an Arithmetical Logic

699 kr

Visual Reasoning with Diagrams

Visual Reasoning with Diagrams

Amirouche Moktefi, Sun-Joo Shin

1 389 kr

Life and Work of Leon Henkin

Life and Work of Leon Henkin

María Manzano, Ildikó Sain, Enrique Alonso, Maria Manzano, Ildiko Sain, Enri Manzano, María

699 kr

Logic - Language - Ontology

Logic - Language - Ontology

Urszula B. Wybraniec-Skardowska

1 899 kr

Universal Logic, Ethics, and Truth

Universal Logic, Ethics, and Truth

Timothy J. Madigan, Jean-Yves Béziau, Jean-Yves Beziau

2 249 kr

Road to Universal Logic

Road to Universal Logic

Arnold Koslow, Arthur Buchsbaum

699 kr

Decidability of Logical Theories and Their Combination

Decidability of Logical Theories and Their Combination

João Rasga, Cristina Sernadas, Joao Rasga

839 kr

Universal Algebraic Logic

Universal Algebraic Logic

Hajnal Andréka, Zalán Gyenis, István Németi, Ildikó Sain, Hajnal Andreka, Zalan Gyenis, Istvan Nemeti, Ildiko Sain

1 809 kr

Logic - Language - Ontology

Logic - Language - Ontology

Urszula B. Wybraniec-Skardowska

1 899 kr