Algebraiczna semantyka dla nihilistycznych rachunków kwantyfikatorów

Filozofia Nauki 1 (1994)
  Copy   BIBTEX

Abstract

The paper presents seven nihilistic functional calculi (NFC), founded on nihilistic propositional calculi. NFC are characterized from the syntactic and semantic points of view. For each of NFC both points of view are proved to define the same sets of formulas

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Algebraiczna semantyka dla nihilistycznych rachunków zdań.Eugeniusz Żabski - 1993 - Filozofia Nauki 4.
Semantyka obliczeniowa dla kwantyfikatorów monadycznych w języku naturalnym.Jakub Szymanik - 2007 - Studia Semiotyczne 26:219-244.
Próby zastosowań nihilistycznych rachunków zdań w fizyce.Eugeniusz Żabski - 2001 - Filozofia Nauki 4.
Semantyka algebraiczna a mechanika kwantowa.Jacek Malinowski - 2002 - Przeglad Filozoficzny - Nowa Seria 41 (1):45-53.
Twierdzenie O dedukcji dla wielowartościowych rachunków zdań łukasiewicza.Witold A. Pogorzelski - 1964 - Studia Logica 15 (1):20-21.
Negacje w logikach nihilistycznych.Eugeniusz Żabski - 1995 - Nowa Krytyka 6:95-104.
Semantyka dla rachunku zdań Z identycznością.Stephen L. Bloom & Roman Suszko - 1971 - Studia Logica 28 (1):82-82.
O czterech antynomiach semantycznych i ich „rozwiązaniach”.Eugeniusz Żabski - 2004 - Filozofia Nauki 2.
" Odpoczynek dla oczu, wyzwanie dla ducha". Nowe czeskie i słowackie filmy dokumentalne.Jadwiga Głowa - 2004 - Estetyka I Krytyka 1 (6).
Distributive-lattice semantics of sequent calculi with structural rules.Alexej P. Pynko - 2009 - Logica Universalis 3 (1):59-94.
A dynamic logic of action.Brigitte Penther - 1994 - Journal of Logic, Language and Information 3 (3):169-210.
Wynikanie semantyczne w rachunku kwantyfikatorów.Wojciech Kawecki - 1981 - Acta Universitatis Lodziensis. Folia Philosophica. Ethica-Aesthetica-Practica 1:75-91.
Klauzula sumienia dla farmaceutów. Analiza opinii wydanej przez Comitato Nazionale pre la Bioetica.Waldemar Głusiec - 2012 - Diametros 32:62-76.
Niedefiniowalność funktora zmiany na gruncie rachunków logiki temporalnej.Józef Wajszczyk - 1994 - Filozofia Nauki 3.

Analytics

Added to PP
2013-03-14

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references