Mental models, model-theoretic semantics, and the psychosemantic conception of truth

Shira Elqayam

The search session has expired. Please query the service again.

Displaying similar documents to “Mental models, model-theoretic semantics, and the psychosemantic conception of truth”

Computational logics and the philosophy of language: the problem of lexical meaning in formal semantics.

Marcello Frixione (1996)

Mathware and Soft Computing

Similarity:

This paper deals with the possible contributions that logical researches carried on in the field of artificial intelligence (AI) could give to formal theories of meaning developed by logically oriented philosophers of language within the tradition of analytic philosophy. In particular, I will take into account a topic which is problematic in many respects for traditional logical accounts of meaning, i.e., the problem of lexical semantics. My thesis is that AI logics could give useful...

On axiomatizability and preservation in Kripke models.

Markovic, Zoran (1981)

Publications de l'Institut Mathématique. Nouvelle Série

Similarity:

A system for deduction-based formal verification of workflow-oriented software models

Radosław Klimek (2014)

International Journal of Applied Mathematics and Computer Science

Similarity:

The work concerns formal verification of workflow-oriented software models using the deductive approach. The formal correctness of a model's behaviour is considered. Manually building logical specifications, which are regarded as a set of temporal logic formulas, seems to be a significant obstacle for an inexperienced user when applying the deductive approach. A system, along with its architecture, for deduction-based verification of workflow-oriented models is proposed. The process...

Extending the topological interpretation to intuitionistic analysis

Dana Scott (1968)

Compositio Mathematica

Similarity:

Inference in Action

Johan van Benthem (2007)

Publications de l'Institut Mathématique

Similarity:

On d-finiteness in continuous structures

Itaï Ben Yaacov, Alexander Usvyatsov (2007)

Fundamenta Mathematicae

Similarity:

We observe that certain classical results of first order model theory fail in the context of continuous first order logic. We argue that this happens since finite tuples in a continuous structure may behave as infinite tuples in classical model theory. The notion of a d-finite tuple attempts to capture some aspects of the classical finite tuple behaviour. We show that many classical results involving finite tuples are valid in continuous logic upon replacing "finite" with "d-finite"....

The Axiomatization of Propositional Logic

Mariusz Giero (2016)

Formalized Mathematics

Similarity:

This article introduces propositional logic as a formal system ([14], [10], [11]). The formulae of the language are as follows φ ::= ⊥ | p | φ → φ. Other connectives are introduced as abbrevations. The notions of model and satisfaction in model are defined. The axioms are all the formulae of the following schemes α ⇒ (β ⇒ α), (α ⇒ (β ⇒ γ)) ⇒ ((α ⇒ β) ⇒ (α ⇒ γ)), (¬β ⇒ ¬α) ⇒ ((¬β ⇒ α) ⇒ β). Modus ponens is the only derivation rule. The soundness theorem and the strong completeness theorem...

A system for deduction-based formal verification of workflow-oriented software models

Radosław Klimek (2014)

International Journal of Applied Mathematics and Computer Science

Similarity:

A Layered Rule-Based Architecture for Approximate Knowledge Fusion

Barbara Dunin-Kęplicz, Linh Anh Nguyen, Andrzej Sza l as (2010)

Computer Science and Information Systems

Similarity:

Defining the semantics of rule-based Web applications through model-driven development

Joaquín Cañadas, José Palma, Samuel Túnez (2011)

International Journal of Applied Mathematics and Computer Science

Similarity:

Rule languages and inference engines incorporate reasoning capabilities to Web information systems. This paper presents an approach for the specification and development of Web applications performing the usual functionalities of data management and incorporating a rule engine for reasoning capabilities. The proposed approach is based on the definition of a high-level representation of the semantics of rule-based applications through a formalism for conceptual modeling combining lightweight...

Kripke models for intuitionistic theories with decidable atomic formulas.

Marković, Zoran (1984)

Publications de l'Institut Mathématique. Nouvelle Série

Similarity:

Reasoning in Basic Description Logics and Description Logics with Modal Operators

Milenko Mosurović, Tatjana Stojanović, Ana Kaplarević-Mališić (2009)

Zbornik Radova

Similarity:

Integrating intuitionistic and classical theories

E. López-Escobar (1981)

Fundamenta Mathematicae

Similarity: