<--- Back to Details
First PageDocument Content
Modal logic / Philosophical logic / Boolean algebra / Non-classical logic / Interior algebra / Kripke semantics / Closure / Logic / Mathematics / Mathematical logic
Date: 2014-08-08 06:32:39
Modal logic
Philosophical logic
Boolean algebra
Non-classical logic
Interior algebra
Kripke semantics
Closure
Logic
Mathematics
Mathematical logic

Modal logic of the planar polygons

Add to Reading List

Source URL: politicalmashup.nl

Download Document from Source Website

File Size: 753,46 KB

Share Document on Facebook

Similar Documents

Algebra / Index of standards articles / Standards / Index of Abkhazia-related articles

Republic of the Philippines DEPARTMENT OF THE INTERIOR AND LOCAL GOVERNMENT BUREAU OF JAIL MANAGEMENT AND PENOLOGY NATIONAL HEADQUARTERS 144 Juco Building Mindanao Avenue, Project 8, Quezon City

DocID: 1pRn3 - View Document

Mathematics / Geometry / Algebra / Lattice points / Analytic geometry / Lattice / Finite element method / Partial differential equation / Sinc function / Interpolation / Leech lattice / Lattice QCD

Smooth Pycnophylactic Interpolation for Geographical Regions1 Waldo R. Tobler2 ABSTRACT: Census enumerations are usually packaged in irregularly shaped geographical regions. Interior values can be interpolated for such r

DocID: 1pMbu - View Document

Mathematical optimization / Operations research / Linear algebra / Linear complementarity problem / Complementarity theory / Interior point method / Linear programming

SEMINÁRIO 23 de Junho deDepartamento de Matemática, sala Sousa Pinto, 12:00-13:00) Título: Interior Point Methods for Complementarity Problems.

DocID: 1pfT8 - View Document

Convex optimization / Operations research / Mathematical optimization / Numerical linear algebra / Subgradient method / Linear programming / Interior point method

DISTRIBUTED ALGORITHMS FOR SPARSE RECONSTRUCTION João Mota Instituto Superior Técnico Lisbon, Portugal ABSTRACT Many applications require the knowledge of a sparse linear

DocID: 1p3Jw - View Document

Modal logic / Non-classical logic / Model theory / Boolean algebra / Philosophical logic / Kripke semantics / Interior algebra / Heyting algebra / Embedding / Intermediate logic / Normal modal logic / Substitution

STABLE CANONICAL RULES GURAM BEZHANISHVILI, NICK BEZHANISHVILI, ROSALIE IEMHOFF Abstract. We introduce stable canonical rules and prove that each normal modal rule system is axiomatizable by stable canonical rules. This

DocID: 1oDdl - View Document