MainSocietyPhilosophyPhilosophy of Logic › Between Logic and Heuristic

Between Logic and Heuristic

Edit Page
Report
Scan day: 07 February 2014 UTC
8
Virus safety - good
Description: Article by S. L. Katretchko, presented at the 20th World Congress of Philosophy.
20th WCP: Between Logic and Heuristic This article aims to construct a new type of logical calculi-logical heuristic calculus which contains the means of reducing complete search. Such a heuristic component of calculus is reached with the help of meta-level means. The principal means for reducing search is structural information about information about contrary literals of formula.
Size: 384 chars

Contact Information

Phone&Fax:
Address:
Extended:

WEBSITE Info

Page title:20th WCP: Between Logic and Heuristic
Keywords:
Description:
IP-address:128.197.26.3

WHOIS Info

NS
Name Servers: EDNS01.BU.EDU 128.197.253.182 EDNS02.BU.EDU 168.122.254.62
WHOIS
Date
activated: 25-Mar-1986
last updated: 21-May-2013
expires: 31-Jul-2014