Skip to main content Skip to main navigation menu Skip to site footer
  • Register
  • Login
  • Language
    • English
    • Język Polski
  • Menu
  • Home
  • Current
  • Archives
  • Online First Articles
  • About
    • About the Journal
    • Submissions
    • Editorial Team
    • Advisory Board
    • Peer Review Process
    • Logic and Logical Philosophy Committee
    • Open Access Policy
    • Privacy Statement
    • Contact
  • Register
  • Login
  • Language:
  • English
  • Język Polski

Logic and Logical Philosophy

A deductive-reductive form of logic: General theory and intuitionistic case
  • Home
  • /
  • A deductive-reductive form of logic: General theory and intuitionistic case
  1. Home /
  2. Archives /
  3. No. 10 (2002) /
  4. Articles

A deductive-reductive form of logic: General theory and intuitionistic case

Authors

  • Piotr Łukowski University of Łódź

DOI:

https://doi.org/10.12775/LLP.2002.004

Abstract

The paper deals with reconstruction of the unique reductive counterpart of the deductive logic. The procedure results in the deductive-reductive form of logic. This extension is illustrated on the base of intuitionistic logics: Heyting’s, Brouwerian and Heyting-Brouwer’s ones.

Author Biography

Piotr Łukowski, University of Łódź

Department of Logic

References

Łukowski, P., “A reductive approach to Ł-decidability”, Bulletin of the Section of Logic 28/3, 79–84 (1999).

Rauszer, C., “Semi-Boolean algebras and their applications to intuitionistic logic with dual operations”, Fundamenta Mathematicae LXXXIII, 219–249 (1974).

Rauszer, C., “An algebraic and Kripke-style approach to a certain extension of intuitionistic logic”, Dissertationes Mathematicae CLXVII, PWN Warszawa 1980.

Tarski, A., “Über einige fundamentale Begriffe der Metamathematik”, Compt. Rend. Séances Soc. Sci. Lett. Varsovie, cl. III, 23, pp. 22–29.

Wójcicki, R., “Dual counterparts of consequence operation”, Bulletin of the Section of Logic 2/1, 54–57 (1973).

Wójcicki, R., “Theory of logical calculi: basic theory of consequence operations”, Synthese Library vol. 199, Kluwer Academic Publishers 1988.

Downloads

  • PDF

Published

2004-01-19

How to Cite

1.
ŁUKOWSKI, Piotr. A deductive-reductive form of logic: General theory and intuitionistic case. Logic and Logical Philosophy [online]. 19 January 2004, T. 10, nr 10, s. 59–78. [accessed 5.6.2023]. DOI 10.12775/LLP.2002.004.
  • PN-ISO 690 (Polish)
  • ACM
  • ACS
  • APA
  • ABNT
  • Chicago
  • Harvard
  • IEEE
  • MLA
  • Turabian
  • Vancouver
Download Citation
  • Endnote/Zotero/Mendeley (RIS)
  • BibTeX

Issue

No. 10 (2002)

Section

Articles

Stats

Number of views and downloads: 235
Number of citations: 0

Crossref
Scopus
Google Scholar
Europe PMC

Search

Search

Browse

  • Browse Author Index
  • Issue archive

User

User

Current Issue

  • Atom logo
  • RSS2 logo
  • RSS1 logo

Information

  • For Readers
  • For Authors
  • For Librarians

Newsletter

Subscribe Unsubscribe

Language

  • English
  • Język Polski
Up

Akademicka Platforma Czasopism

Najlepsze czasopisma naukowe i akademickie w jednym miejscu

apcz.umk.pl

Partners

  • Akademia Ignatianum w Krakowie
  • Akademickie Towarzystwo Andragogiczne
  • Fundacja Copernicus na rzecz Rozwoju Badań Naukowych
  • Instytut Historii im. Tadeusza Manteuffla Polskiej Akademii Nauk
  • Instytut Kultur Śródziemnomorskich i Orientalnych PAN
  • Karmelitański Instytut Duchowości w Krakowie
  • Państwowa Akademia Nauk Stosowanych w Krośnie
  • Państwowa Akademia Nauk Stosowanych we Włocławku
  • Państwowa Wyższa Szkoła Zawodowa im. Stanisława Pigonia w Krośnie
  • Polskie Towarzystwo Ekonomiczne
  • Polskie Towarzystwo Ludoznawcze
  • Towarzystwo Miłośników Torunia
  • Towarzystwo Naukowe w Toruniu
  • Uniwersytet im. Adama Mickiewicza w Poznaniu
  • Uniwersytet Mikołaja Kopernika
  • Uniwersytet w Białymstoku
  • Uniwersytet Warszawski
  • Wojewódzka Biblioteka Publiczna - Książnica Kopernikańska
  • Wyższe Seminarium Duchowne w Pelplinie / Wydawnictwo Diecezjalne „Bernardinum" w Pelplinie

© 2021- Nicolaus Copernicus University Accessibility statement Shop