Razvan Diaconescu und Logic - Info zur Person

(1 - 14 von 18

)

Razvan Diaconescu, Institutions, Madhyamaka and universal model...

philpapers.org

Răzvan Diaconescu, Till Mossakowski & Andrzej Tarlecki (2014). The Institution- Theoretic Scope of Logic Theorems. Logica Universalis 8 (3-4):

Răzvan Diaconescu, On quasi-varieties of multiple valued logic models...

philpapers.org

We extend the concept of quasi-variety of first-order models from classical logic to multiple valued logic and study the relationship between quasi-varieties...

Razvan Diaconescu - The Mathematics Genealogy Project

www.genealogy.math.ndsu.nodak.edu

Razvan Diaconescu. MathSciNet. Ph.D. University of Oxford UnitedKingdom. Dissertation: Category-based Semantics for Equational and Constraint Logic ...

Institution-independent Model Theory von Razvan Diaconescu - Fachbuch...

www.buecher.de

This book develops model theory independently of any concrete logical system or structure, within the abstract category-theoretic framework of the so called...

Institution-independent Model Theory - Razvan Diaconescu - Google...

books.google.de

A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by...

CAFE: An Industrial-Strength Algebraic Formal Method - Google Books

books.google.de

Razvan Diaconescu. Category-based semantics for equational and constraint logic programming, DPhil thesis, University of Oxford. Razvan Diaconescu.

Logica Universalis: Towards a General Theory of Logic - Google Books

books.google.de

Universal Logic is not a new logic, but a general theory of logics, considered as mathematical structures. The name was introduced about ten years ago, but the...

Documents

jot.theta.ro

Logical Semantics of CafeOBJ: by Razvan Diaconescu and Kokichi Futatsugi. Research Report, IS-RR S,JAIST, New revised version submitted to ...

Universal Logic

www.uni-log.org

Razvan Diaconescu. Institute of Mathematics "Simion Stoilow" - Romania. The theory of ``institutions'' [1] is a categorical universal model theory, which originates ...

Publications Search - Details

www.informatik.uni-bremen.de

Publication type: Article: Author: Till Mossakowski, Andrzej Tarlecki, Razvan Diaconescu: Title: What is a logic translation? Volume: 3: Page(s): 95 – 124

Universal Logic

www.uni-log.org

Till Mossakowski, Razvan Diaconescu and Andrzej Tarlecki UNILOG'2007= How to translate a logic into another one? Vladimir Vasyukov UNILOG'2010 = How ...

Institution-independent Model Theory | Razvan Diaconescu | Springer

link.springer.com

A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by...

Wikipedia: Institutional model theory - Wikipedia

This page is about the concept in mathematical logic. For the concept in sociology, see ... Razvan Diaconescu: Institution-Independent Model Theory. Birkhäuser ...

Alle Infos zum Namen "Razvan Diaconescu"

Verwandte Suchanfragen zu Razvan Diaconescu

Personen
Vorname "Razvan" (530)
Name "Diaconescu" (51)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Razvan Diaconescu und Logic Person-Info