Логические теории временных контекстов (Временная логика)

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Киев: Наукова думка, 1981. — 150 с.
В монографии рассматриваются логико-грамматические особенности временных контекстов — выражений естественного языка, истинностное значение которых определимо относительно конкретного отрезка времени, в контексте речевой ситуации. Описываются основные типы семантики временной логики и различные её формализации: аксиоматическая, секвенциальная, аналитико-табличная. Рассматривается временные исчисления с неклассическим базисом, а также их модификации и расширения (хронологическая, хронометрическая логики и др.).
Для научных работников, преподавателей и студентов философских факультетов.
Логическая теория языка
Логическое следование и формальная выводимость.
Переменные и константы
Логическая семантика
Высказывание о событии.
Контекст.
Событие.
Грамматическое времд
Абстрактное описание событий
Множества
Временные отношения.
События.
Эталон времени.
Временная структура.
Временные диаграммы
Аксиоматические теории времени.
Логический анализ временных контекстов
Переменная классическая логика
Классическая логика
Семантика
Синтаксис
Непротиворечивость и полнота
Временная логика
Семантика
Синтаксис
Непротиворечивость и полнота
Квантификация.
Расширения Kf-исчисления.
Метрическое временное исчисление
JХронолоплескан логика.
Латометрическая логика.
Хронологическое исчисление НРепера
Гянарнне временные связки
Временные модальности
Семантика
Синтаксис
Непротиворечивость и полнота
Временная логика
Семантика.
Синтаксис Непротиворечивость и полнота
Квантификацня.
Трехзначнче временные операторы
Овременение я бочваризация.

Author(s): Ишмуратов А.Т.

Language: Russian
Commentary: 1704395
Tags: Математика;Математическая логика